Optimierende Übersetzer
LVA 185.A04, VU 2.0, ECTS 3.0, 2019 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.

Veranstaltungstermine

Vortrag und umgekehrtes Klassenzimmer/Übung

Vorbesprechung und erster Vortrag finden am Dienstag, den 01.10.2019, 15:15 - 16:45 Uhr, im Hörsaal GM7 Kleiner Schiffbau, Bauteil BD Hoftrakt (1. Stock), Raumnummer BD01B41, Getreidemarkt 9, statt.

Datum und Zeit Ort Thema Vortrag Thema umgek. Klassenzimmer/Übung
Di, 01.10.2019, 15:15 - 16:45 Uhr Hörsaal GM7 Kleiner Schiffbau Teil I, Kap. 1 n.a. / Vorbesprechung
Di, 08.10.2019, 15:15 - 16:45 Uhr Hörsaal GM7 Kleiner Schiffbau Teil I, Kap. 2 Teil I, Kap. 1
Di, 15.10.2019, 15:15 - 16:45 Uhr Hörsaal GM7 Kleiner Schiffbau Teil II, Kap. 3, 4 Teil II, Kap. 2
Di, 22.10.2019, 15:15 - 16:45 Uhr Hörsaal GM7 Kleiner Schiffbau Teil II, Kap. 5.1-6 Übung
Di, 29.10.2019, 15:15 - 16:45 Uhr Hörsaal GM7 Kleiner Schiffbau Teil II, Kap. 5.7-12 Teil II, Kap. 5.1-6
Di, 05.11.2019, 15:15 - 16:45 Uhr Hörsaal GM7 Kleiner Schiffbau Teil II, Kap. 6, 7, 8 Übung
Di, 12.11.2019, 15:15 - 16:45 Uhr Hörsaal GM7 Kleiner Schiffbau Teil II, Kap. 9, 10 Teil II, Kap. 5.7-12, 6-8
Di, 19.11.2019, 15:15 - 16:45 Uhr Hörsaal GM7 Kleiner Schiffbau Teil III, Kap. 11 Übung
Di, 26.11.2019, 15:15 - 16:45 Uhr Hörsaal GM7 Kleiner Schiffbau Teil III, Kap. 12 Teil II, Kap. 9, 10
Di, 03.12.2019, 15:15 - 16:45 Uhr Hörsaal GM7 Kleiner Schiffbau Teil III, Kap. 13 Übung
Di, 10.12.2019, 15:15 - 16:45 Uhr Hörsaal GM7 Kleiner Schiffbau Teil IV, Kap. 14, 15 Teil III, Kap. 11-13
Di, 17.12.2019, 15:15 - 16:45 Uhr Hörsaal GM7 Kleiner Schiffbau Teil V, Kap. 16 Teil IV, Kap. 14, 15

Terminänderungen werden hier bekanntgegeben. Die Teil- und Kapitelangaben beziehen sich auf die entsprechenden Teile und Kapitel der Lehrveranstaltungsunterlagen.

Anmeldung

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

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:

Lehrveranstaltungs- und Übungsunterlagen

 
Lehrveranstaltung  
 
Inhalt  
 
Folien  
 
Hinweise  
Vorlesung Teil I bis Teil V, Literaturverzeichnis, Anhänge A-D pdf
Stand:
10.08.2019
Vorbesprechung
Motivation,
Organisatorisches
pdf
Stand:
19.08.2019
 
Termin und Ort
von Vorbesprechung und erster Vorlesung:
Di, 01.10.2019,
15:15 - 16:45 Uhr, Hörsaal GM7 Kleiner Schiffbau.
 

 
Übung
vom
 
 
Abgabetermin
 
 
Angabe
 
 
Hinweise und
Bemerkungen
 

Abschlussprüfung, Beurteilung, Gesamtnote

Die Abschlussprüfungen zur Lehrveranstaltung sind mündlich. Termine dafür werden individuell vereinbart und sollten im Regelfall Ende Januar, Anfang Februar stattfinden. Andere Termine sind nach Absprache möglich. Die Gesamtnote ergibt sich je zur Häfte aus Übungs- und Prüfungsnote.

Empfehlungen

Die Vorlesung schließt inhaltlich an die Lehrveranstaltung 185.A48 Ü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.

Vortragender

Jens Knoop.
Complang
Knoop
   Events
   Teaching/Lehre
      ERASMUS/LLP
      LVA-Stammseiten
      Lehre 2020 S
      Lehre 2019 W
         Fkt. Prog.
         Opt. Übers.
      Lehre 2019 S
      Lehre 2018 W
      Lehre 2018 S
      Lehre 2017 W
      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
Fakultät für Informatik
Technische Universität Wien
Anfang | HTML 4.01 | Datenschutzerklärung | letzte Änderung: 2019-08-19 (Knoop)