Abstrakte Maschinen
185.966 VO 3.0 ECTS
185.A49 UE 3.0 ECTS

Termin

Die Vorlesung und die Übung werden im Sommersemester 2017 abgehalten. Sie finden jeden Donnerstag um 15:00 (pünktlich) im Hörsaal EI 3A im alten Elektrotechnischen Institut in der Gußhausstraße 25 im 2. Stock statt. Die erste Vorlesung (mit Vorbesprechung) findet am 2. März 2017 statt. Auf allgemeinen Wunsch kann der Termin der Vorlesung geändert werden.

Prüfung

Die Beurteilung erfolgt durch eine mündliche Prüfung und die Beurteilung der Übungsaufgaben und der dazugehörenden Präsentationen. Der Präsentationstermin ist am 29. Juni 2017. Mündliche Prüfung nach Vereinbarung. Eine Prüfungsvorbereitung und Stoffwiederholung gibt es beim Präsentationstermin am 29. Juni 2017.

Inhaltsangabe

Aufbau von Interpretern, Zwischencodes, Prozesssorarchitekturen, Interpretationstechniken (threaded code), Implementierung von Forth, das Pascal P4 System, die Java Virtuelle Machine, Microsoft Intermediate Language, Registermaschinen und die DalvikVM, sytaxgesteuerte Editoren und Baummaschinen, Prologmaschinen (WAM, VAM), Implementierung funktionaler Sprachen (SECD Maschine)

Lernziel

Der Studierende soll das Wissen und die Fähigkeit erwerben, abstrakte Maschinen und ihre Interpreter zu entwickeln.

Vorausgesetzte Kenntnisse

Die Kenntnisse aus der VU Übersetzerbau werden vorausgesetzt. Es ist ausreichend, wenn Übersetzerbau gleichzeitig besucht wird.

Ergänzende Lehrveranstaltungen

Dynamic Compilation und Codegeneratoren (wird im Wintersemester abgehalten)

Unterlagen

Ab Donnerstag ?.3. 2017 gibt es ein Skriptum (Euro 20,--). Informationen über JIT-Übersetzer sind CACAO - A 64 bit JavaVM Just-in-Time Compiler und Efficient JavaVM Just-in-Time Compilation

Software

VAM2p Sourcen

Übungsprojekte

Hier gibt es Informationen über einige alte Übungsprojekte:

Anrechnung

Für folgende Studien ist Abstrakte Maschinen eine Wahllehrveranstaltung:
Complang
Krall
   Lehre
      Übersetzerbau
      Seminar Übersetzerbau
      Abstrakte Maschinen
      Codegeneratoren
      Dynamic Compilation
      Orientierung
   Research
   Publications
   Professional Activities
   Short Bio
Sitemap
Links:
TISS-Eintrag-VO
TISS-Eintrag-UE
Studienplan
Fakultät für Informatik
Technische Universität Wien
Anfang | HTML 4.01 | letzte Änderung: 2017-02-21 (Krall)