CS 422: Programming Language Design main  ::  policy  ::  lectures  ::  mps  ::  exams  ::  unit project  ::  resources  ::  faq

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)