Die Studierenden erhalten ein umfassendes Verständnis dertheoretischen Grundlagen und praktischen Anwendungen vonProgrammanalyse und -optimierung im Übersetzerbau. Sie lernen, dieMöglichkeiten und Grenzen automatischer Analysen und Optimierungeneinzuschätzen und sind im Wissen darum in der Lage, über Anwendungenim Übersetzerbau hinaus, Software so zu schreiben, dass, wo möglich,Entwurfsziele wie Klarheit, Wartbarkeit, Robustheit vor unnötigenEffizienzüberlegungen in den Vordergrund treten.
Die Vorlesung vertieft in Theorie und Praxis das GebietProgrammanalyse und -optimierung, das ein wesentlichesForschungsgebiet im Bereich Programmiersprachen und Übersetzerbauist. Dabei spannt die Vorlesung den Bogen von den theoretischenGrundlagen bis zur praktischen Anwendung und der automatischenGenerierung von Programmanalysen und Optimierungen. Im Übungsteilwerden die in der Vorlesung behandelten Themen in theoretischen undpraktischen Übungen eigenständig vertieft. Für die praktischen Übungenwird dabei die Static Analysis Tool Integration Engine SATIrEeingesetzt; ein System, das diverse Werkzeuge für die Analyse undOptimierung von objektorientierten Sprachen integriert, darunter denProgram Analyzer Generator (PAG). Die Vorlesung behandelt insbesonderefolgende Themen und deren Realisierung mithilfe von 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.
Nicht erforderlich
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.