Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage (u.a.)
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).
Teil I: Einführung
Teil II: Intraprozedurale Datenflussanalyse
Teil III: Interprozedurale Datenflussanalyse
Teil IV: Erweiterungen, andere Sprachumgebungen
Teil V: Abschluss und Ausblick
Literaturverzeichnis
Anhänge
Ausgewählte Leseempfehlungen
Die Veranstaltung ist als Präsenzveranstaltung geplant. Im Fall erneuter pandemie- oder neu energiebedingter Einschränkungen wird die Lehrveranstaltung auf einen Online-Modus umgestellt.
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 Lernaktivitäten der Lehrveranstaltung(die Angaben Teil I bis Teil V beziehen sich auf Teil I bis Teil Vder Lehrveranstaltungsunterlagen):
Die Lehrveranstaltung beginnt mit Vorbesprechung und erstem Vortragsteil am Dienstag, den 04.10.2022, 16:15-17:45 Uhr, EI 6 Eckert HS.
Weitere beurteilte Leistungsnachweise gibt es nicht.
Gesamtbeurteilung gewichtet im Verhältnis 1 zu 1 aus Beurteilungen der theoretischen und praktischen Aufgabenlösungen und der mündlichen Prüfung, falls beide Teilbeurteilungen positiv sind, sonst nicht genügend; bei halben Noten gibt die Note der mündlichen Prüfung den Ausschlag.
Beurteilungsschema Übungsaufgaben: ab 50% genügend, ab 62.5% befriedigend, ab 75% gut, ab 87.5% sehr gut.
Die Vorlesung schließt inhaltlich an die Lehrveranstaltung 185.A48Übersetzerbau an und ergänzt die bisherige 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.