Web Home

Optimizing compilers are essential tools for getting good implementations of high-level languages. By leaving optimizations to the compiler, programmers can concentrate on well-designed, maintainable programs.

Between parsing the input program and writing the generated machine code, optimizing compilers perform a wide range of transformations on a program to improve its time and space behaviour. In this course we study a selection of such optimizing transformations and their implementation in Stratego, a language for program transformation based on the paradigm of rewriting strategies. In this year's installment of the seminar we will focus on loop optimizations.

In previous versions of this course a compiler for Andrew Appel's Tiger language was built. In this year's installment we will take a basic Tiger compiler in Stratego as given and extend it with loop optimizations.

• Education page: official page with times and rooms
• Course description - brief description of content and literature
• Course literature - pointers to literature
• Other Papers
• Course schedule - planning of meetings
• CourseAssignments - description of the project

• Tiger:WebHome - Tiger in Stratego project
• Stratego:WebHome - Stratego download and documentation

• Similar courses