CS 422: Programming Language Design
Video of class lectures
Lectures from Spring 2015

Schedule subject to change as course progresses.
Lecture slides for not yet given lectures are preliminary, and may change.
Jan 20 Course Introduction & Introduction to Operational Semantics slides (full sized PDF) (6 up PDF)
Jan 22 Structured Operational Semantics slides (full sized PDF) (6 up PDF)
 
Jan 27 Typing as Abstract Natural Semantics slides (full sized PDF) (6 up PDF)
Jan 29 Structural Operational Semantics (Tranistion Semantics) slides (full sized PDF) (6 up PDF)
 
Feb 3 Reduction Semantics with Evaluation Contexts (full sized PDF) (6 up PDF)
Feb 5 Reduction Semantics with Evaluation Contexts (cont) slides cont
 
Feb 10 Context Semantics Example (full sized PDF) (6 up PDF)
Feb 12 Starting K (full sized PDF) (6 up PDF) nothing.k int.k arith0.k arith1.k arith2.k arith10.k
 
Feb 17 Intro to K arith.k bool.k
Feb 19 SIMP1 in K arithbool.k simpminus.k simp.k simp.k
 
Feb 24 Configurations in K (full sized PDF) (6 up PDF)
Feb 26 Aliases in K simp.k fact2.k fact3.k
 
Mar 2 References for SIMPL cont simp.k test.sim3
Mar 4 MIDTERM (review for take-home)
 
 
Mar 9 References cont
Mar 11 EOH - no class cont
 
Mar 16 References cont
Mar 18 Arrays
 
Mar 23 SPRING BREAK
Mar 25 SPRING BREAK
 
Mar 30 Arrays, Blocks with local scope Files: star.k array.k block.k
Apr 1 blocks
 
Apr 6 Procedures Files: procedures.k simp5.k
Apr 8 Object-oriented Programming (KOOL) File: kool-untyped.k
 
Apr 13 KOOL cont
Apr 15 KOOL, start functional paradigm Some OO slides: CS422Lecture24.pdf CS422Lecture24-2x3.pdf
 
 
Apr 20 Funtional Programming: SML Standard ML Definition book File: microml_1.k
Apr 22 Phrasing Nat Sem Rules in K, SML Atomic Expressions File: microml.k
 
Apr 27 TBD
Apr 29 TBD
 
May 4 Review
 
May 9 (must be confirmed) FINAL (7:00pm - 10:000m)