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


DateLecture NotesExtraDue
Thu01/18Imperative Program Semantics: Take I: functions
Tue01/23Semantics of While Programs
Thu01/25Dynamic Logic
Tue01/30Proving Programs
Thu02/01Proofs about Loops
Tue02/06Proofs about Terminating Loops
Thu02/08Uniform Substitution Understanding
Tue02/13Static Semantics and Coincidents2.2,2.6Asst 1 
Thu02/15Uniform Substitution Soundness
Tue02/20Coincidences and ContextsAsst 2 
Thu02/22Semantics of Program Contexts3.4
Tue02/27Full Abstraction and Relating Different Behaviors3.2,3.3
Thu03/01GHC 7501: Arraysmore
Tue03/06Free: Open House
Thu03/08Games and Interactivity
Tue03/13Free: Spring break
Thu03/15Free: Spring break
Tue03/20Winning Strategies and Regions pdf White paper 
Thu03/22Winning and Proving
Tue03/27Midterm ExamMidterm 
Thu03/29Axiomatic Semantics
Tue04/03Winning Repetitions by ProofsAsst 3 
Thu04/05The Miracle of Repetition pdf
Tue04/10Independent Parallel Programs, 7.1,7.3
Thu04/12Auxiliaries and Soundness 7.3,7.4
Tue04/17Functions, arrays, pointers, objects pdf
Thu04/19Free: Spring Carnival
Tue04/24Operational Semantics of Deterministic Programs
Thu04/26Type Systems and Type Preservation
Tue05/01Semantics of Parallel Programs, 7.2,
Thu05/03Shared VariablesTerm paper 
The lecture schedule is tentative!

Assignment Schedule

Asst 150Imperative program reasoning and undefinednessTue 02/13
Asst 250Substituting program reasoningTue 02/20
Asst 350Methods and fun with gamesTue 04/03
White paper20Project White PaperTue 03/20
Midterm150Midterm ExamTue 03/27
Term paper180Project Term PaperThu 05/03
Sum500points listed

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