This course discusses the construction of compilers in detail. This discussion concentrates on the following three topics: (I) Advanced topics of classical compilers: LR-table construction, general precedence analysis, general methods of syntax analysis, advanced methods of optimization. (II) Principles of parallel compilers: parallel compiler structure, fundamental methods of parallel syntax analysis, basic models of parallel translation. (III) Formal translation models and their properties: transducers, translation grammars, properties of syntax directed translation, formal language properties relevant to compilers, modern translation models.

Links

• Moodle website for WS 2024/25
• Public course pages (with private materials)

Why is the course taught

Maintaining a balance between a theoretical and practical approach to this important subject, VYPa represents a master-level class about compiler writing. From a theoretical viewpoint, it introduces mathematical models, such as automata and grammars, which underlie compilation and its phases. Based on these models, the class details the concepts, methods, and techniques employed in compiler design in a clear and easy-to-follow way.

From a practical point of view, the class describes how compilation techniques are implemented. While discussing various compilation techniques, the class demonstrates their implementation in a step-by-step way. In addition, the class presents many detailed examples and computer programs to emphasize the applications of the compiler algorithms.

After taking this class, students should understand the compilation process, be able to write a real compiler, and easily follow advanced books on the subject.