Optimierende Übersetzer
LVA 185.A04, VU 2.0, ECTS 3.0, 2011 W
MSE/W

Optimierende Übersetzer

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

Haben Sie Interesse an einem geförderten Auslandsstudium?

Informationen zu Fördermöglichkeiten finden Sie hier.

 

Anmeldesystem offen!

Das elektronische Anmeldesystem ist offen.

Inhalt

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:

Ziele

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.

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.

Zuordnung

Siehe TUWIS++/185.A04.

Vorlesungstermine

Die Vorbesprechung zur Vorlesung findet am Mi, den 05.10.2011, um 16:00 Uhr im Hörsaal 14 statt. Die erste Vorlesung findet am Mi, den 12.10.2011, von 16:15 - 17:45 Uhr im Hörsaal 14 statt.

Abschlussprüfung

Termine der mündlichen Abschlussprüfung nach Abschluss der Lehrveranstaltung werden im Lauf des Semesters individuell abgesprochen.

Lehrbehelfe

Vorlesungsunterlagen

Vorlesung
 
Folien vom
Thema Verfügbare Formate Hinweise und Bemerkungen
11.01.2012
7th Lecture
Analysing and optimizing object-oriented languages .pdf
[L2:Kapitel 6], [L5:Kapitel 13]
07.12.2011
6th Lecture
Pointer analysis, Alias analysis, Shape analysis of dynamic data structures .pdf
[L1:Kapitel 2.6], [L3:Kapitel 10], [L2:Kapitel 5]
23.11.2011
5th Lecture
Interprocedural Data Flow Analysis .pdf
[L1:Chapter 2.5, Chapter 6]

16.11.2011
4th Lecture
Data Flow Analysis Frameworks .pdf
[L1:Chapter 2.3 & 2.4, Chapter 6]
09.11.2011
3rd Lecture
Intraprocedural Backward Analyses .pdf
[L1:Chapter 2.1-4].
19.10.2011
2nd Lecture
Intraprocedural Forward Analyses .pdf
[L1:Chapter 1, 2.1-4]
12.10.2011
1st Lecture
Introduction and
Fundamentals
.pdf
None.
05.10.2011
Vorbesprechung
Motivation and
Organizational Issues
.pdf
Termin und Ort
der Vorbesprechung:
Mi, 05.10.2011 16:00 - 16:45 Uhr, H,örsaal 14, Karlsplatz 13
 

Literatur

Übung

Tutorial
 
Assignment
Submission Available Format Hints and Remarks
Assignment 1 (11/21/2011) 11/30/2011 pdf
Additional information (not required for assignment 1).

Beurteilung

Die Beurteilung erfolgt anhand von Abgabegesprächen zu den Beispielen aus der Übung und einer mündlichen Abschlussprüfung über Vorlesungs- und Übungsstoff.

Vortragender

Jens Knoop.
Complang
Knoop
   Events
   Teaching/Lehre
      ERASMUS/LLP
      LVA-Stammseiten
      Lehre 2014 S
      Lehre 2013 W
      Lehre 2013 S
      Lehre 2012 W
      Lehre 2012 S
      Lehre 2011 W
         Fkt. Prog.
         Opt. Übers.
      Frühere Semester
   Research Interests
   Publications
   Professional Activities
   Memberships
   Selected CFPs
   Useful Links
Sitemap
Sprechstunde
wiederholte LVAs:
Fkt. Programmierung
Opt. Übersetzer
Sonstige
Schnellzugriff:
TISS
voriges Semester
voriges Jahr
Inhalt
Ziele
Voraussetzungen u. Empfehlungen
Zuordnung
Vorbesprechung
Abschlussprüfung
Vorlesungstermine
Lehrbehelfe
Übung
Beurteilung
Fakultät für Informatik
Technische Universität Wien
Anfang | HTML 4.01 | letzte Änderung: 2013-07-16 (Knoop)