CS6217: Topics in Programming Languages & Software Engineering,
Course Syllabus and Policies
1. Week 01: Introduction and Origins of Program Logics
2. Week 02: Hoare-Style Poofs and Loop Invariants
3. Week 03: Reasoning about Heap-Manipulating Programs
4. Week 04: Logics for Functional Programs
5. Week 05: Verifying Concurrent Programs
6. Week 06: Extensions of Separation Logic
7. Week 07: Program Logics for Weak Memory
CS6217: Topics in Programming Languages & Software Engineering,
Docs
»
Search
Please activate JavaScript to enable the search functionality.