Prof. Dr. Reinhard Wilhelm Dipl.-Inform. Andreas Kerren Dipl.-Inform. Jörg Bauer                                                                     Fachbereich Informatik                                                                   Universität des Saarlandes                                                                      Tel.: (0681) 302-3235

    Vorlesung im Sommersemester 01

Abstrakte Maschinen im Übersetzerbau

Abb.: Visualisierung einer abstrakten Maschine    

Inhalt:

Häufig werden abstrakte Maschinen als plattformunabhängige Zwischenarchitekturen bei der Übersetzung höherer Programmiersprachen verwendet. Die Anweisungen einer abstrakten Maschine sind für die Übersetzung einer bestimmten Quellsprache oder für Quellsprachen desselben Sprachenparadigmas (imperativ, funktional, logisch, objektorientiert) maßgeschneidert.

Diese Veranstaltung findet simultan in Trier und Saarbrücken statt und wird jeweils von einem Vorlesungsort zum anderen live durch das Internet übertragen. Weiterhin stehen Compiler-Frontends sowie Animatoren zur Verfügung, um selbst Experimente mit Übersetzung und Ausführung von Programmen zu machen.

Literatur:

Ausgewählte Kapitel aus
 
• Diehl, Kunze. Visualizing principles of abstract machines by generating interactive animations. In FGCS - Future Generation Computer Systems, Vol. 16, pp. 831-839, 2000.
• Wilhelm, Maurer. Übersetzerbau - Theorie, Konstruktion, Generierung. 2. Auflage, Springer-Verlag, 1997
• Aho, Sethi, Ullmann. Compilerbau. Vol.1 + 2, Addison-Wesley, 1990

Folien der Vorlesungen:

• C.
• Prolog.
• WiM.

 

Betreuer:	Andreas Kerren Jörg Bauer
Ort:	Geb. 45, HS 003
Termin:	Dienstags, 14.00 - 16.00, ab dem 10.04.2001
Angebotsturnus:	einmalig
Leistungspunkte:	6
Umfang:	V4
Voraussetzungen für  die Scheinvergabe:	Regelmäßige Teilnahme an der Vorlesung und bestandene Abschlußklausur.
Allgemein:	Für die Bearbeitung der Übungen wird das GANIMAM-Laufzeitsystem des GANIMAL Projektes verwendet.

 
 
 

AK, 29.03.01