Optimierende Übersetzer
LVA 185.A04, VU 2.0, ECTS 3.0, 2017 W

(zweistündige Vorlesung mi1t Übung; siehe auch TISS/185.A04)

Haben Sie Interesse an einem geförderten Auslandsstudium?

Informationen zu Fördermöglichkeiten finden Sie hier.

Veranstaltungstermine

Vorlesung

Anmeldung und Veranstaltungsbeginn

Die Anmeldung zur Lehrveranstaltung erfolgt in TISS/185.A04 und ist bis Fr, 13.10.2017 (12:00 Uhr), möglich.

Veranstaltungsbeginn mit Vorbesprechung und erster Vorlesung ist am Dienstag, den 03.10.2017, von 15:15 - 16:45 Uhr im Hörsaal GM7 Kleiner Schiffbau, Bauteil BD Hoftrakt (1. Stock), Raumnummer BD01B41, Getreidemarkt 9.

Inhalt und Ziele

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), für den auch eine Web-Demo PAG/WWW verfügbar ist. Die Web-Demo erlaubt einige Analysen für eine einfache WHILE-Sprache ausführen zu lassen. Die in der Übung verwendete Umgebung unterstützt die Visualisierungsmöglichkeiten von PAG/WWW, stellt aber darüberhinaus wesentlich umfangreichere Möglichkeiten für die Analyse und Optimierung von prozeduralen und objektorientierten Sprachen zur Verfügung.

Die Vorlesung behandelt insbesondere folgende Themen und deren Realisierung mithilfe von SATIrE:

Die Studierenden erhalten so 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.

Im Detail:

Voraussetzungen und Empfehlungen

Die Vorlesung schließt inhaltlich an die Lehrveranstaltung 185.311 Übersetzerbau an und ergänzt die Lehrveranstaltungen 185.274 Weiterführender Übersetzerbau und 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.

Vorlesungs- und Übungsunterlagen

Vorlesung Thema Verfügbare Formate Hinweise und Bemerkungen
Vorlesungsfolien Kapitel 1-16, Literaturverzeichnis, Anhänge A-D .pdf
Stand:
17.01.2018
Vorbesprechung
Motivation und
Organisatorisches
.pdf
Stand:
06.09.2017
 
Termin und Ort
von Vorbesprechung und erster Vorlesung:
Di, 03.10.2017,
15:15 - 16:45 Uhr, Hörsaal GM7 Kleiner Schiffbau.
 

Übung                  Abgabetermin            Angabe Hinweise und Bemerkungen
Di, 19.12.2017 Di, 09.01.2018 Prakt.Übung 3.pdf
Keine.
Di, 05.12.2017 Di, 19.12.2017 (15:00 Uhr) Prakt.Übung 2.pdf
Keine.
Di, 28.11.2017 Di, 05.12.2017 Blatt 5.pdf
Keine.
Di, 14.11.2017 Di, 28.11.2017 (15:00 Uhr) Prakt.Übung 1.pdf
Tutorial (Hinweise zur Benutzung von PAG).
Siehe Abgabehinweis auf Aufgabenblatt.
Di, 07.11.2017 Di, 14.11.2017 Blatt 4.pdf
Keine.
Di, 31.10.2017 Di, 07.11.2017 Blatt 3.pdf
Keine.
Di, 10.10.2017 Di, 31.10.2017 Blatt 2.pdf
Keine.
Di, 03.10.2017 Di, 31.10.2017 Blatt 1.pdf
Keine.

Literatur

Weitere Literaturhinweise werden in der Vorlesung und den LVA-Unterlagen angegeben.

Beurteilung

Je zur Häfte gewichtet die Beurteilung der Übungsaufgaben und einer mündlichen Prüfung über Vorlesungs- und Übungsstoff. Termine für die mündliche Prüfung werden individuell abgesprochen.

Vortragender

Jens Knoop.
Sprechstunde
wiederholte LVAs:
Fkt. Programmierung
Opt. Übersetzer
Sonstige
Schnellzugriff:
TISS
voriges Semester
voriges Jahr
top | HTML 4.01 | Datenschutzerklärung | last update: 2020-06-22 (Knoop)