| Date | Lab Due | Reading | Lecture Topics | Self-study |
|---|---|---|---|---|
| Oct 1 | Scott 1 | Introduction; High-level vs. low-level languages; Stack machines (pdf) (recording) | questions answers | |
| Oct 3 | Scott 2.1,6.1 | Concrete and abstract syntax; Grammars; Expressions (pdf) (recording) | questions answers | |
| Oct 8 | Lab 1 | Scott 6.2-5 | Imperative languages; Structured programming (pdf) (recording) | questions answers |
| Oct 10 | Gordon, pp. 7-27 | Semantics; Axiomatic semantics (pdf) (recording) | questions answers | |
| Oct 15 | Lab 2 | Scott 3.1-3,3.5 | Binding; Scope (pdf) (recording) | questions answers |
| Oct 17 | (none) | Memory; Large values; Equality (pdf) (recording) | questions answers | |
| Oct 22 | Lab 3 | Winskel 2.1-5 | Operational Semantics (pdf) (recording) | questions answers |
| Oct 24 | Scott 9.1-3, 6.6 | Procedures and the stack; Calling Conventions (pdf) (recording) | -questions answers | |
| Oct 29 | Lab 4 | (sample midterm questions) | Review for Midterm (recording) | questions answers |
| Oct 31 | Midterm Exam -- in class | |||
| Nov 5 | (none) | Recursion (pdf) (recording) | questions answers | |
| Nov 7 | Scott 3.6-7, Scott 11 | Functional programming; First-class functions (pdf) (recording) | questions answers | |
| Nov 12 | Lab 5 | (none) | Closures; Continuations (pdf) (recording) | questions answers |
| Nov 14 | Scott 7 | Type systems; Type checking; Type equivalence (pdf) (recording) | questions answers | |
| Nov 19 | Lab 6 | (none) | Polymorphism; Type inference | |
| Nov 21 | Scott 8 | Composite types | ||
| Nov 26 | Lab 7 | (none) | Modules; Abstract data types | |
| Nov 28 | Thankgiving Holiday - no class | |||
| Dec 3 | Scott 10 | Object-oriented languages | ||
| Dec 5 | Lab 8 | (sample final questions) | Review and catch-up | |
| Dec 10 | Final exam 10:15am-12:05pm |