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

Schedule

DateLecture NotesExtraDue
Tue01/16Overview1.1-1.3
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: Functions, arrays, pointers, objectsslide pdf
Tue03/06Free: Open House
Thu03/08Games and Interactivity
Tue03/13Free: Spring break
Thu03/15Free: Spring break
Tue03/20Winning Strategies and RegionspdfWhite paper 
Thu03/22Winning and Proving
Tue03/27Midterm ExamMidterm 
Thu03/29Winning Repetitions by Proofs
Tue04/03Operational Semantics
Thu04/05Type Systems and Type PreservationAsst 3 
Tue04/10Relating Denotational and Operational Semantics
Thu04/12Axiomatic Semantics
Tue04/17Completeness
Thu04/19Free: Spring Carnival
Tue04/24Relative Completenesspdf pdf
Thu04/26Completeness and Complexity
Tue05/01More completeness
Thu05/03Free: Project wrap-up dayTerm paper 
The lecture schedule is tentative!

Assignment Schedule

PointsAssignmentDue
Asst 150Imperative program reasoning and undefinednessTue 02/13
Asst 250Substituting program reasoningTue 02/20
Asst 350Methods and fun with gamesThu 04/05
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.