Abstrakte Maschinen - 185.966 VO 2.0

Termin

Die Vorlesung wird im Sommersemester 2010 abgehalten. Sie findet 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 (Vorbesprechung) findet am 4. März 2010 statt. Auf allgemeinen Wunsch kann der Termin der Vorlesung geändert werden.

Prüfung

Die schriftliche Prüfung findet am Donnerstag ??. Juni 2010 um 15.00 im Hörsaal EI 3A statt. Mündliche Prüfung nach Vereinbarung. Eine Prüfungsvorbereitung und Stoffwiederholung gibt es am ??. Mai 2010.

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 ??.3. 2010 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