Schedule
| Date | Lecture Notes | Extra | Due |
|
| Tue | 01/13 | Overview | 1.1-1.3 | |
| Thu | 01/15 | Denotational Semantics: Compositionality&Full Abstraction | 1.4 | |
|
| Tue | 01/20 | Denotational Semantics: Numerals and Equivalence | 1.4 | |
| Thu | 01/22 | Structural Operational Semantics: Small and Big Steps | 1.4 | |
|
| Tue | 01/27 | Imperative Programs | 2.1,2.3-2.5 | |
| Thu | 01/29 | Coincidental Contexts | 2.2,2.6 | |
|
| Tue | 02/03 | Semantics of Program Contexts | 3.4 | |
| Thu | 02/05 | Full Abstraction and Relating Behaviors | 3.2,3.3 | |
|
| Tue | 02/10 | Dynamic Logic | modlog | Asst 1 |
| Thu | 02/12 | Nondeterministic Programs: static and dynamic semantics | | |
|
| Tue | 02/17 | Coincidences | | Asst 2 |
| Thu | 02/19 | Sequence Semantics | | |
|
| Tue | 02/24 | Proofs about Programs | | |
| Thu | 02/26 | Proofs about Loops | | |
|
| Tue | 03/03 | Free: | | |
| Thu | 03/05 | Axiomatic Semantics | | Asst 3 |
|
| Tue | 03/10 | Free: Spring break | | |
| Thu | 03/12 | Free: Spring break | | |
|
| Tue | 03/17 | Games and Interactivity | | |
| Thu | 03/19 | Winning Strategies and Regions | pdf | White paper |
|
| Tue | 03/24 | Winning and Proving | | |
| Thu | 03/26 | The Miracle of Repetition | pdf | Asst 4 |
|
| Tue | 03/31 | Winning Repetitions by Proofs | | |
| Thu | 04/02 | Midterm Exam | | |
|
| Tue | 04/07 | Independent Parallel Programs | pdf, 7.1,7.3 | |
| Thu | 04/09 | Auxiliaries and Soundness | pdf 7.3,7.4 | |
|
| Tue | 04/14 | Functions, arrays, pointers, objects | pdf | |
| Thu | 04/16 | | | |
|
| Tue | 04/18 | Operational Semantics of Deterministic Programs | | |
| Thu | 04/23 | Type Systems and Type Preservation | | |
|
| Tue | 04/25 | Semantics of Parallel Programs | pdf, 7.2, pdf | Asst 5 |
| Thu | 04/30 | Shared Variables | pdf | Term paper |
The lecture schedule is tentative!
Assignment Schedule
The Assignment Schedule is tentative!
Homework assignments are due at start of lecture on the due day.
