The students gain a comprehensive understanding of the theoreticalfoundations and practical applications of program analysis andoptimization in compiler construction. They learn to valuate thepotential and limitations of automatic analyses andoptimizations. Beyond applications in compiler construction, thisallows them to design and write software in a style that, wherepossible, comprehensibility, maintainability, and robustness isprioritized over unnecessary performance considerations.
The course is concerned with the theory and practice of programanalysis and optimization, which is an essential field of research inthe area of programming languages and compilers. The course stretchesfrom the theoretical foundations to practical applications and theautomatic generation of program analyses andoptimizations. Theoretical and practical assignments as part of thetutorial offer the opportunity to independently apply and practicevarious analysis and optimization techniques, to prove properties theymeet, and to gain hands-on experience of the SATIrE tool used forpractical assignments. SATIrE integrates various tools for theanalysis and optimization of object-oriented languages, among thesethe Program Analyzer Generator (PAG).The course considers in particular the following topics and theirrealization by means of SATIrE:
Beurteilung der Beispiele aus der Übung und mündliche Abschlussprüfungüber Vorlesungs- und Übungsstoff. Weitere Angaben zum Beurteilungs-und Prüfungsablauf sind auf der homepage der Lehrveranstaltunggegeben.
Not necessary
Die Vorlesung schließt inhaltlich an die bisherige Lehrveranstaltung 185.311Übersetzerbau an und ergänzt die bisherigen Lehrveranstaltungen 185.274Weiterführender Übersetzerbau und 185.276 Analyse undVerifikation. Sie empfiehlt sich deshalb inbesondere für Studierende,die im Bereich von Programmiersprachen und Übersetzerbau einenbesonderen Schwerpunkt setzen, eine Seminararbeit, ein Praktikum oderihre Diplomarbeit anfertigen möchten.