Compiler Construction Course, Summer 2011
Prof. Kirsch, Department of Computer Sciences, University of Salzburg
Time, Location: Tue 10-12 in T03, Techno-Z and Th 3-4 in T02, Techno-Z. First lecture is in T03, Techno-Z on Tue, March 1, 2011. Check schedule (iCal) for updates.
This course provides an introduction to compiler construction: scanning, parsing, semantic analysis, control-flow and data-flow analysis, register allocation, code generation, and code optimization. The course closely follows the textbook "Compiler Construction" by Niklaus Wirth. The goal of the course is to have students understand and appreciate principled engineering of compilers through a focus on fundamental rather than advanced compilation techniques in class in combination with creative freedom in class projects. Teams of 2-3 students will be asked to design their own source language (with formal grammar), and implement their own compiler and target machine in a programming language of their choice. However, each compiler must be able to compile itself in a live demo at the end of the semester. Therefore, source languages are constrained to subsets of programming languages for which executable compilers are available (unless students choose to compile their compiler at least once by hand). Moreover, source languages must be typed (basic types, arrays, and records; no pointers) and feature at least a concept for parameterized local hiding such as procedures with arguments and a concept for global hiding such as modules supporting separate compilation.
Goal of the course:
Learn, through compiler construction, how software-related concepts of programming languages such as data types and procedures work and translate into hardware-related concepts such as machine registers and code.
Grading: 20% homework, 80% project.
Prerequisites: programming experience, basic knowledge of programming language concepts.
Technical contact: Hannes . Payer @ cs . uni-salzburg . at