15-812: Programming Language Semantics (Sp'18)


DateLecture NotesExtraDue
Tue 01/16Overview1.1-1.3
Thu 01/18Denotational Semantics: Compositionality&Full Abstraction1.4
Tue 01/23Denotational Semantics: Numerals and Equivalence1.4
Thu 01/25Structural Operational Semantics: Small and Big Steps1.4
Tue 01/30Imperative Programs2.1,2.3-2.5
Thu 02/01Coincidental Contexts2.2,2.6
Tue 02/06Semantics of Program Contexts3.4
Thu 02/08Full Abstraction and Relating Behaviors3.2,3.3
Tue 02/13Dynamic LogicAsst 1 
Thu 02/15Nondeterministic Programs: static and dynamic semantics
Tue 02/20CoincidencesAsst 2 
Thu 02/22Sequence Semantics
Tue 02/27Proofs about Programs
Thu 03/01Proofs about Loops
Tue 03/06
Thu 03/08Axiomatic SemanticsAsst 3 
Tue 03/13Spring break
Thu 03/15Spring break
Tue 03/20Games and Interactivity
Thu 03/22Winning Strategies and Regions pdf White paper 
Tue 03/27Winning and Proving
Thu 03/29The Miracle of Repetition pdf Asst 4 
Tue 04/03Winning Repetitions by Proofs
Thu 04/05?Midterm Exam (TBD)
Tue 04/10Independent Parallel Programs, 7.1,7.3
Thu 04/12Auxiliaries and Soundness 7.3,7.4
Tue 04/17Functions, arrays, pointers, objects pdf
Thu 04/19
Tue 04/24Operational Semantics of Deterministic Programs
Thu 04/26Type Systems and Type Preservation
Tue 05/01Semantics of Parallel Programs, 7.2, Asst 5 
Thu 05/03Shared VariablesTerm paper 
The lecture schedule is tentative!

Assignment Schedule

Asst 150Expression semantics and imperative programsTue 02/13
Asst 250Full abstraction and imperative reasoningTue 02/20
Asst 350Frees and bounds in dynamic logicThu 03/08
White paper20Project White PaperThu 03/22
Asst 450Reasoning and axiomatics of programsThu 03/29
Asst 550Fun with gamesTue 05/01
Term paper180Project Term PaperThu 05/03
Sum450points listed

The Assignment Schedule is tentative!
Homework assignments are due at start of lecture on the due day.