| Date | Lab Due | Reading | Lecture Topics | Self-study |
|---|---|---|---|---|
| Jan 4 | Scott 1 | Introduction; High-level vs. low-level languages; Stack machines (pdf) (recording) | questions [updated 8Jan22 8:55pm] answers | |
| Jan 6 | Scott 2.1,6.1 | Concrete and abstract syntax; Grammars; Expressions (pdf) (recording) | questions answers | |
| Jan 11 | Lab 1 | Scott 6.2-5 | Imperative languages; Structured programming (pdf) (recording) | questions answers |
| Jan 13 | Gordon, pp. 7-27 | Semantics; Axiomatic semantics (pdf) (recording) | questions answers | |
| Jan 18 | Lab 2 | Scott 3.1-3,3.5 | Binding; Scope (pdf) (recording) | questions answers |
| Jan 20 | (none) | Memory; Large values; Equality (pdf) (recording) | questions answers | |
| Jan 25 | Lab 3 | Winskel 2.1-5 | Operational Semantics | |
| Jan 27 | Scott 9.1-3, 6.6 | Procedures and the stack; Calling Conventions | ||
| Feb 1 | Lab 4 | (sample midterm questions) | Review for Midterm | |
| Feb 3 | Midterm Exam - at home on WebLab -- no class meeting | |||
| Feb 8 | (none) | Recursion | ||
| Feb 10 | Scott 9.4-5 | Exceptions; Coroutines | ||
| Feb 15 | Lab 5 | Scott 3.6-7, Scott 11 | Functional programming; First-class functions | |
| Feb 17 | (none) | Closures; Continuations | ||
| Feb 22 | Lab 6 | Scott 7 | Type systems; Type checking; Type equivalence | |
| Feb 24 | (none) | Polymorphism; Type inference | ||
| Mar 1 | Lab 7 | Scott 8 | Composite types | |
| Mar 3 | (none) | Modules; Abstract data types | ||
| Mar 8 | Lab 8 | Scott 10 | Object-oriented languages | |
| Mar 10 | (sample final questions) | Review and catch-up | ||
| Mar 14-18 | Final exam week |