CS321 Languages and Compiler Design I Fall 2004

Instructor: Andrew Tolmach

Course Information

• Syllabus (pdf) (updated 25Sept04 2:20pm)
• Mailing list

Required Readings

• Additional highly recommended readings from M. L. Scott, Programming Language Pragmatics, Morgan Kaufmann, 2000. ISBN 1-55860-442-1. Several copies of this book are on reserve in Millar Library. (The price for making photocopies proved to be exhorbitant (close to $30), due to publisher page charges, so I decided not to have them done.)
  • Chapter 7 Data Types: Sections 7.1, 7.2.1-7.2.4, 7.3.1-2, 7.3.4, 7.4.1-2, 7.5-7.
  • Chapter 10 Data Abstraction and Object Orientation: Sections 10.1-2, 10.4.
• Check here for an up-to-date list of errata for Engineering a Compiler.

Suggested Exercises

• 1.1, 1.3.
• 2.2.1, 2.2.2, 2.3.1c, 2.3.2, 2.3.3b, 2.4.1ab, 2.4.2b, 2.5.1b.
• 3.2.1, 3.2.3, 3.3.1, 3.3.2, 3.3.4, 3.4.1, 3.6.1.
• 3.5.4
• 4.2.2, 4.3.1, 4.3.2, 4.3.3, 4.3.4, 4.4.1a, 4.4.3ab, 4.5.1.

Exams

• Practice Midterm Exam
• Sample Solutions

Lecture Notes and Supporting Code

• Introduction 9/27/04 (pdf) (4up pdf)
• Java 9/29/04 (pdf) (4up pdf)
• Programming Language Evaluation and History 10/6/04 (pdf) (4up pdf)
• Lexical Analysis; Regular Expressions 10/11/04 (pdf) (4up pdf)
• Finite automata; Scanner Generation 10/13/04 (pdf) (4up pdf) (MODIFIED 10/13/04 5:10pm)
• Syntax Analysis; Grammars 10/18/04 (pdf) (4up pdf)
• Top-down parsing; Recursive Descent 10/20/04 (pdf) (4up pdf)
• Table-driven LL parsing 10/25/04 (pdf) (4up pdf)
• Bottom-up parsing 10/27/04 (pdf) (4up pdf)
• Parser generators 11/3/04 (pdf) (4up pdf)
• Syntax-directed translation 11/8/04 (pdf) (4up pdf)
• Data types and type equivalence 11/10/04-11/22/04 (pdf) (4up pdf)
• Type checking using attribute grammars 11/22/04 (pdf) (4up pdf)
• Abstract data types and modules 11/24/04 (pdf) (4up pdf)
• Object-oriented Programming 11/29/04-12/01/04 (pdf) (4up pdf)
• Object-oriented vs. Procedural Programming 12/01/04 (no lecture notes)
  • Tree operations in conventional OO style
  • Tree operations in SML procedural style
  • Tree operations in (awkward Java) procedural
  • Tree operations using Visitor pattern

PCAT Language

• Reference Manual (pdf)
• Sample Programs
  • 2d_array.pcat
  • 8q.pcat (FIXED 10/31/04 11:35am)
  • fib.pcat
  • hanoi.pcat
  • hello.pcat
  • prime.pcat
  • sort.pcat (FIXED 10/31/04 11:35am)
  • square.pcat (FIXED 10/31/04 11:35am)

Homework Assignments

• Homework 0 (attempt by 10/4/04; don't hand in) (pdf)
• Homework 1 (due 10/18/04) (pdf)
  • hw1.java
  • example1.e
  • example2.e
  • example3.e
  • example4.e
  • sol1.jar
• Homework 2 (due 10/27/04) (pdf)
  • LexerDriver.java
  • ParseError.java
  • Symbol.java
  • Yylex.class
  • JLex home page
  • JLex specification file for E language from Homework 1. The output of JLex on this file should be a file e.lex.java containing class Lexer that is cut-and-paste-compatible with the one in hw_1.java.
• Homework 3 (due 11/17/04) (pdf)
  • ParserDriver.java
  • Ast.java
  • Symbol.java for use with CUP
  • To run my reference parser, you'll need all three of these:
    • Parser.class (result of compiling Parser.java)
    • CUP$Parser$actions.class (second result of compiling Parser.java) (UPDATED 10/31/04 11:15am)
    • SymKinds.class (result of compiling SymKinds.java, which is produced as side-effect of running CUP; used by Symbol.java)
  • pcat0.cup Framework for CUP specification for PCAT: use this as the starting point for your CUP-based parser. It works on a small subset of PCAT, such as this example.
  • CUP home page
  • PCAT grammar
• Homework 4 (due 12/1/04) (pdf)
  • Ast.jar (FIXED 11/25/04 8:30pm) contains the reference implementation of the checker. To build it, download this file and all the supporting files below, and execute

    javac -classpath .:Ast.jar:/u/cs321-01/CUP CheckDriver.java ParseError.java Symbol.java

    To run it on file foo.pcat, execute

    java -classpath .:Ast.jar:/u/cs321-01/CUP CheckDriver < foo.pcat

  • Ast0.java (FIXED 11/26/04 5:25pm) contains the skeleton implementation of the checker. To build it, download this file and all the suporting files below, and execute

    javac -classpath .:/u/cs321-01/CUP Ast0.java CheckDriver.java ParseError.java Symbol.java

    To run it on file foo.pcat, execute

    java -classpath .:/u/cs321-01/CUP CheckDriver < foo.pcat

  • Supporting files (for both versions of checker). (Note: These are not necessarily identical to the corresponding files from previous assignments!)
    • CheckDriver.java
    • ParseError.java
    • Symbol.java
    • Yylex.class
    • Parser.class
    • CUP$Parser$actions.class
    • SymKinds.class

Java Resources

• Language Reference
  The official Java Language Specification, 2nd ed. is available on-line or can be purchased as a book.
• User Manuals (for version 1.4.2)
  • Documentation for Sun's Java tools is here.
  • The standard Java library (API) is documented here.
• Implementations
  • A free implementation for linux or Windows is available from Sun.