![[logo]](images/citlogo.gif)
CS134b, Winter 2005
Programming languages and compilers
Home
Policy
Syllabus
Assignments
Using Osaka
Pearls
Text
People
FAQ
Mailing Lists
Previous Years
Links
Style Guide
Resources
OCaml Syntax
Syntax Metalanguage
Overview
This term is devoted to compilers, programming models and languages. We will cover execution environments, storage management, and operating system interfaces; binding mechanisms, abstraction, optimization, and code generation; parsing and lexical analysis. Students will build a working compiler.
Syllabus
| Week | Lecture dates | Main topics to be covered |
| 1 | Jan 3 Jan 5 Jan 7 |
Intro to OCaml [handouts] [lec1.txt] [lec2.txt] [set.html] |
| 2 | Jan 10 | Lexing and parsing [handouts] ast.ml, parse.mly |
| 3 | Jan 21 | Lab1 guide [handouts] |
| 4 | Jan 24 | IR basics [handouts] |
| 5 | Jan 31 Feb 2 Feb 4 |
IR Translation [handouts] Classes and objects [handouts] Compiling classes [handouts] |
| 6 | Feb 7 Feb 9 Feb 11 |
CPS transformation [handouts] Closure conversion [handouts] Closure conversion [handouts] |
| 7 | Feb 14 | Dead code elimination [handouts] Inlining, CSE [handouts] |
| 8 | Feb 23 | Loop optimization [handouts] |
| 9 | Feb 28 | Code generation [handouts] Liveness analysis [handouts] Register allocation [handouts] |
| 10 | ||
| 11 |
Webmaster
| Contact Us
| Generated on %%DATE%%
Copyright (c) 2005 Caltech CS134 Course Administration.
Computer Science Dept.,
California Institute of Technology