185.A04 Optimierende Übersetzer
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2015W, VU, 2.0h, 3.0EC, wird geblockt abgehalten

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

Die Studierenden erhalten ein umfassendes Verständnis der
theoretischen Grundlagen und praktischen Anwendungen von
Programmanalyse und -optimierung im Übersetzerbau. Sie lernen, die
Möglichkeiten und Grenzen automatischer Analysen und Optimierungen
einzuschätzen und sind im Wissen darum in der Lage, über Anwendungen
im Übersetzerbau hinaus, Software so zu schreiben, dass, wo möglich,
Entwurfsziele wie Klarheit, Wartbarkeit, Robustheit vor unnötigen
Effizienzüberlegungen in den Vordergrund treten.

Inhalt der Lehrveranstaltung

Die Vorlesung vertieft in Theorie und Praxis das Gebiet
Programmanalyse und -optimierung, das ein wesentliches
Forschungsgebiet im Bereich Programmiersprachen und Übersetzerbau
ist. Dabei spannt die Vorlesung den Bogen von den theoretischen
Grundlagen bis zur praktischen Anwendung und der automatischen
Generierung von Programmanalysen und Optimierungen. Im Übungsteil
werden die in der Vorlesung behandelten Themen in theoretischen und
praktischen Übungen eigenständig vertieft. Für die praktischen Übungen
wird dabei die Static Analysis Tool Integration Engine SATIrE
eingesetzt; ein System, das diverse Werkzeuge für die Analyse und
Optimierung von objektorientierten Sprachen integriert, darunter den
Program Analyzer Generator (PAG). Die Vorlesung behandelt insbesondere
folgende Themen und deren Realisierung mithilfe von SATIrE:

  • Grundlagen und Anwendungen von Programmanalyse und Optimierung
  • Datenflussanalyse (vorwärts, rückwärts, existentiell, universell)
  • Datenflussanalyserahmen (intraprozedural, interprozedural)
  • Maschinenunabhängige Optimierungen, insbesondere syntaktische und semantische Redundanzelimination
  • Zeiger-, Alias- und Geflechtanalysen
  • Analyse und Optimierung objektorientierter Programme
  • Generatoren für Analyse und Optimierung, speziell SATIrE
  • ...

Die Vorbesprechung und daran anschließend die erste Vorlesung finden
am Mi, den 14.10.2015, von 16:15 - 17:45 Uhr in der Bibliothek E185.1,
Argentinierstr. 8, 4. Stock (Mitte) statt.


Weitere Informationen

Aufteilung der ECTS-Punkte:

Der Lehrveranstaltung sind 3.0 ECTS-Punkte zugeordnet. Diese
entsprechen einem durchschnittlichen Lernaufwand von 75
Stunden. Dieser durchschnittliche Lernaufwand verteilt sich in
folgender Weise auf die einzelnen Teile der Lehrveranstaltung:

  • Vorlesungsbesuch und -vor- und -nachbereitung: 35 Std.
  • Übungsaufgaben und Abgabegespräche: 35 Std.
  • Prüfungsvorbereitung und mündliche Prüfung: 5 Std.

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mi16:00 - 18:0007.10.2015 - 27.01.2016Seminarraum 124 LVA 185.A04 Optimierende Übersetzer
Optimierende Übersetzer - Einzeltermine
TagDatumZeitOrtBeschreibung
Mi07.10.201516:00 - 18:00Seminarraum 124 LVA 185.A04 Optimierende Übersetzer
Mi14.10.201516:00 - 18:00Seminarraum 124 LVA 185.A04 Optimierende Übersetzer
Mi21.10.201516:00 - 18:00Seminarraum 124 LVA 185.A04 Optimierende Übersetzer
Mi28.10.201516:00 - 18:00Seminarraum 124 LVA 185.A04 Optimierende Übersetzer
Mi04.11.201516:00 - 18:00Seminarraum 124 LVA 185.A04 Optimierende Übersetzer
Mi11.11.201516:00 - 18:00Seminarraum 124 LVA 185.A04 Optimierende Übersetzer
Mi18.11.201516:00 - 18:00Seminarraum 124 LVA 185.A04 Optimierende Übersetzer
Mi25.11.201516:00 - 18:00Seminarraum 124 LVA 185.A04 Optimierende Übersetzer
Mi02.12.201516:00 - 18:00Seminarraum 124 LVA 185.A04 Optimierende Übersetzer
Mi09.12.201516:00 - 18:00Seminarraum 124 LVA 185.A04 Optimierende Übersetzer
Mi16.12.201516:00 - 18:00Seminarraum 124 LVA 185.A04 Optimierende Übersetzer
Mi13.01.201616:00 - 18:00Seminarraum 124 LVA 185.A04 Optimierende Übersetzer
Mi20.01.201616:00 - 18:00Seminarraum 124 LVA 185.A04 Optimierende Übersetzer
Mi27.01.201616:00 - 18:00Seminarraum 124 LVA 185.A04 Optimierende Übersetzer
LVA wird geblockt abgehalten

Leistungsnachweis

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 Lehrveranstaltung
gegeben.

LVA-Anmeldung

Nicht erforderlich

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Die Vorlesung schließt inhaltlich an die bisherige Lehrveranstaltung 185.311
Übersetzerbau an und ergänzt die bisherigen Lehrveranstaltungen 185.274
Weiterfü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 Übersetzerbau
einen besonderen Schwerpunkt setzen, eine Seminararbeit, ein Praktikum
oder ihre Diplomarbeit anfertigen möchten.

Vorausgehende Lehrveranstaltungen

Begleitende Lehrveranstaltungen

Weitere Informationen

Sprache

Deutsch