| Date | Topic | Lecture Notes |
| 3/30 | Course overview | Syllabus.pdf |
| Attribute grammars | Attribute.pdf | |
| Lisp | Lisp.pdf Manual.pdf | |
| 5/4 | Midterm exam, BO 428 | distribution of scores |
| Axiomatic Semantics | Axiomatic.pdf | |
| 5/25 | Memorial Day - no classes | — |
| Operational Semantics | Operational.pdf | |
| 6/5 | Last day of classes | — |
| 6/9 | Final exam, 9:30 am - 11:18 am, BO 428 | — |