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

Termin

Die Vorlesung und die Übung werden im Sommersemester 2012 abgehalten. Sie finden jeden Donnerstag um 14.45 (pünktlich) im Hörsaal EI 3A im alten Elektrotechnischen Institut in der Gußhausstraße 25 im 2. Stock statt. Die erste Vorlesung (Vorbesprechung) findet am 8. März 2012 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 Die Präsentationstermine sind 31. Mai und 28. Juni Mündliche Prüfung nach Vereinbarung. Eine Prüfungsvorbereitung und Stoffwiederholung gibt es beim am Präsentationstermin am 31. Mai 2012.

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)

Lehrziel

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 Montag 12.3. 2012 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

Anrechnung

Für folgende Studien ist Abstrakte Maschinen eine Wahllehrveranstaltung:

• Bakk. Technische Informatik
• Bakk. Software & Information Engineering