IN4303: Compiler Construction

Compilers translate the source code of programs in a high-level programming language into executable (virtual) machine code. Nowadays, compilers are typically integrated into development environments providing features like syntax highlighting, content assistance, live error reporting, and continuous target code generation. This course is about the efficient construction of compilers and their integration in the IDE. Its lectures are organised in three parts:

The first part focuses on declarative specification of compiler components as supported by state-of-the-art tools for compiler construction, including lexical syntax, context-free syntax, static semantics, and code generation.

In the second part, we address techniques for the compilation of imperative and object-oriented languages, including activation records, memory management, register allocation, and optimisation techniques in detail.

The third part takes a closer look on the inside working of compiler components and their generators. In particular, we study parsing algorithms and parser generation.

In the practical work, students construct a compiler for a small object-oriented language using the tools introduced in the first part of the lectures.