Home
Syllabus
Lecture Notes
Principles of Programming Language Compilation
Notes from Lectures
| Sep 2-9 | Intro to SML | ML code presented in class |
| Sep 11 | Intro to SML | Tiny ML interpreter presented in class |
| Sep 11-14 | Intro to SML | MIPS instruction set architecture (ppt, pdf, 4-up-pdf) |
| Sep 16 | Intro to Parsing | Overview, Monadic Parsing in Haskell, Can Programming be Liberated from the von Neumann Style? |
| Sep 19-21 | Parsing Combinators | recognizer.sml, recognizer2.sml parse.sml |
| Sep 23 | Lex and Yacc | Sources for the mini-expression language shown in class. Notes on regular expressions. See also the ML-Lex and ML-Yacc documentation and the relevant chapters from Appel's book. |
| Sep 25 | Yacc | Notes about how LR parsing works. See Appel's book for details. |
| Sep 28-30 | Simple Code Generation | Notes from class. (Proof-Directed Debugging) (Go To Statement Considered Harmful) |
| Oct 1- | Code Generation for Procedures | Notes from class. |
| Oct -14 | Data & Memory Management | Notes from class. |
| Oct 16 | Object Oriented Languages | Notes from class. (A Comparative Study of Language Support for Generic Programming) |
| Oct 19 | Closures | Notes from class. |
| Oct 21-26 | Type Checking | Notes from class. |
| Oct 28- | Algebraic Optimization | Notes from class. |