CS 4240 -- Compilers, Interpreters and Program Analyzers

Fall 2002

Contact

Office

Office hours

shivers@cc

5-0091

205 CCB

TBA

Lecture meets Tu/Th 3-4:30 in Physics S107.

Lexer (due Thu 9/11)
Parser (due Thu 9/25)
Static semantics (due Tue 10/7)
Frame analysis (due Thu 10/16)
Translation to IR (due Thu 10/30)
Instruction selection (due Tue 11/11)
Data-flow analyser (due Thu 11/20)
Register allocation (due Tue 12/2)
Integration (due Sun 12/7 noon)

The course textbook is Modern Compiler Implementation in ML, by Andrew Appel. Try to get the edition that says "Reprinted with corrections, 1999" on page iv; previous editions had lots of errors. The book is on order at the Georgia Tech bookstore, and may even be there now. Alternatively, you can order the book from Barnes & Noble or Amazon.
Appel maintains a web page for the text book, which includes various files to begin your compiler with, and a a list of errata for the different editions of the book. It will save you confusion later if you take 15 minutes and go through the errata, applying them to your copy.
If you are not an experienced SML programmer, then you will almost certainly need to get an introductory text on SML. I recommend Larry Paulson's ML for the Working Programmer. It's not on order at the Georgia Tech bookstore, but, again, can certainly be ordered from both Barnes & Noble or Amazon.
You can also find some useful tutorials on the Net. Several are listed below.

SPIM is a simulator written by James Larus for the MIPS-II ISA, a real-world processor architecture that is a very clean RISC design.

James Larus's Assemblers, Linkers, and the SPIM simulator . This is Appendix A of Hennessy & Patterson's Computer Organization and Design: The Hardware/Software Interface, published by Morgan Kaufman. It includes documentation on the MIPS R2000, its assembly code, and the SPIM simulator.
SPIM documentation, in PostScript and PDF format. NOTE: the description of MIPS calling conventions in here is older than that in the Hennessy & Patterson book.
Tiger Runtime System -- needed to actually run your programs.

Running SML on Georgia Tech CoC Machines -- a resource for you guys in CS 4240
Peter Lee's Guide to using SML/NJ
Bob Harper's tutorial, Programming in Standard ML
Other ML tutorials
Standard ML of New Jersey home page
SML/NJ "Basis" Library documentation
SML/NJ Library Manual
User Manual for CM , an SML/NJ Configuration Manager
User Manual for ML-Lex, a lexical analyzer generator for ML
User Manual for ML-Yacc, a parser generator for ML
The newsgroup for ML-related topics is comp.lang.ml.
There is an emacs-lisp package that supports editing SML source and interaction with an sml process under emacs. Emacs-lisp source and documentation is available in a tar ball at Bell Labs.