• be able to define the formal syntax of a programming language,
• be able to define the semantics of a language through interpreters,
• know the internal structure and implementation of compilers,
• be able to write a compiler that translates a simple language into the code of a virtual machine,
• know common frameworks and design patterns used in compiler construction,
• know runtime representations of important programming constructs.

Some less tangible, but nevertheless important goals are:

• Improving the understanding of programming languages,
• understanding trade-offs between expressiveness, simplicity, and performance of programming languages,
• experience the design and implementation of a software project where theory is essential for success.

Bibliography: Andrew W. Appel, Modern compiler implementation in Java. Addison-Wesley, 1997.
Lecturer: Prof. Martin Odersky

Schedule

• Part I: Overview and Foundations (final)
• Part II: Lexical Analysis (final)
• Part III: Parsing (final)
• Part IV: Abstract Syntax (final)
• Part V: Name Analysis (final)
• Part VI: Type Analysis (final)
• Part VII: Code Generation (final)
• Part VIII: Code Generation II (final)
• Part IX: Code Generation for OO Languages (final)
• Part X: Object-Oriented Dispatch Methods (final)

Finally, you can browse the tutorial slides. The postscript files of the new slides don't come with the fancy background, to speed up the printing process a bit. We're aware, that the files are still big and we are trying to find a solution for that problem.

• J0 Programming Language (.ps version)
  Materials: J0 grammar, Exercises 1
• Scanner Implementation
  Materials: Scanner Framework (ascii version), Assignment 1
• Regular and Context-Free Grammars
• Parser Implementation
  Materials: Parser Framework (ascii version), Assignment 2
• Generating Abstract Syntax Trees
  Materials: Tree Framework (ascii version), Pretty Printer Framework (ascii version), Assignment 3
• Semantic Analysis
  Materials: Semantic Analyzer Framework (ascii version), Assignment 4
• Code Generation    NEW!
  Materials: Code Generator Framework (ascii version), JVM Instruction Summary, Assignment 5

Here are some useful files for the project:

• J0 Lexical Syntax

• J0 Syntax

• J0 Abstract Syntax

• JVM Instruction Summary

• Our complete j0 compiler framework:
  • Tokens.java
  • Scanner.java
  • Parser.java
  • Position.java
  • Tree.java
  • TreeArrayBuffer.java
  • Printer.java
  • Report.java   UPDATED!
  • Symbol.java   UPDATED!
  • Type.java   UPDATED!
  • Scope.java
  • Analyzer.java   UPDATED!
  • ByteArray.java   NEW!
  • Bytecodes.java   NEW!
  • ClassFile.java   NEW!
  • Pool.java   NEW!
  • Code.java   NEW!
  • Item.java   NEW!
  • Predef.java   NEW!
  • Runtime.java   NEW!
  • Generator.java   NEW!
  • Main.java   NEW!

• We provide two files for testing your parser:
  • Various.j0
  • Samples.j0

• Prof. Martin Odersky
      martin.odersky@epfl.ch, INR 329, tel. +41 21 693 6863, consulting hours: Tuesday, 15:00-16:00
• Christoph Zenger
      zenger@acm.org, INR 321, tel. +41 21 693 6864, consulting hours: Thursday, 11:00-12:00
• Matthias Zenger
      matthias.zenger@epfl.ch, INR 321, tel. +41 21 693 6864, consulting hours: Thursday, 11:00-12:00

• Catalog of compiler construction tools
• comp.compilers Newsgroup
• The Java Language Specification
• The Java 2 Platform
• Local Java Resources