Abstrakte Maschinen - 185.966 VO 2.0

Termin

Die Vorlesung wird im Sommersemester 2008 abgehalten. Sie findet jeden Mittwoch um 12.00 (pünktlich) im Seminarraum 1 im 3. Stock in der Operngasse 11 / Resselgasse 6 (neben der Hauptbibliothek) statt. Die erste Vorlesung (Vorbesprechung) findet am 5. März 2008 statt. Auf allgemeinen Wunsch kann der Termin der Vorlesung geändert werden.

Prüfung

Die schriftliche Prüfung findet am Mittwoch 11. Juni 2008 um 12.00 im Seminarraum 1 im 3. Stock in der Operngasse 11 statt. Mündliche Prüfung nach Vereinbarung. Eine Prüfungsvorbereitung und Stoffwiederholung gibt es am 7. Mai.

Inhaltsangabe

Aufbau von Interpretern, Zwischencodes, Prozesssorarchitekturen, Interpretationstechniken (threaded code), Implementierung von Forth, das Pascal P4 System, die Java Virtuelle Machine, Microsoft Intermediate Language, sytaxgesteuerte Editoren, 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 VL Übersetzerbau werden vorausgesetzt. Es ist ausreichend, wenn Übersetzerbau gleichzeitig besucht wird.

Ergänzende Lehrveranstaltungen

Weiterführender Übersetzerbau und Codegeneratoren (wird im Wintersemester abgehalten)

Unterlagen

Ab Mittwoch 12.3. 11:00 gibt es ein Skriptum. Informationen über JIT-Übersetzer sind CACAO - A 64 bit JavaVM Just-in-Time Compiler und Efficient JavaVM Just-in-Time Compilation