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:
Im Detail:
Die Vorbesprechung und daran anschließend die erste Vorlesung findenam Dienstag, den 03.10.2017, von 15:15 - 16:45 Uhr im Hörsaal GM7Kleiner Schiffbau, Bauteil BD Hoftrakt (1. Stock), Raumnummer BD01B41,Getreidemarkt 9, statt.
Aufteilung der ECTS-Punkte:
Der Lehrveranstaltung sind 3.0 ECTS-Punkte zugeordnet. Dieseentsprechen einem durchschnittlichen Lernaufwand von 75Stunden. Dieser durchschnittliche Lernaufwand verteilt sich infolgender Weise auf die einzelnen Teile der Lehrveranstaltung:
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.
Die Vorlesung schließt inhaltlich an die bisherige Lehrveranstaltung 185.311Übersetzerbau an und ergänzt die bisherigen Lehrveranstaltungen 185.274Weiterführender Übersetzerbau und die akuelle Lehrveranstaltung 185.276 Analyse und Verifikation. Sie empfiehlt sich deshalb inbesondere für Studierende, die im Bereich von Programmiersprachen und Übersetzerbaueinen besonderen Schwerpunkt setzen, eine Seminararbeit, ein Praktikumoder ihre Diplomarbeit anfertigen möchten.
