English Version
Vorlesung Abstrakte Maschinen im Übersetzerbau im
SS 2002
Personen
Organisatorisches
Die Vorlesung beginnt am 16.04.02 und wird immer dienstags von
14-16 Uhr abwechselnd in Saarbrücken und Trier gehalten.
Gleichzeitig wird die Vorlesung mit Hilfe des Tele-Teaching Werkzeugs
TTT
übertragen und aufgezeichnet.
An den
beiden Vorlesungsorten werden klassische Übungen angeboten, die
Betreuung der ULI-Teilnehmer erfolgt durch Mail, Telefon usw. durch die
Betreuer Peter Ziewer und Jörg Bauer.
Die Anmeldung der ULI-Teilnehmer (nicht SB oder TR) erfolgt auf der
ULI-Homepage.
Inhalt der Vorlesung
Wir befassen uns in dieser Vorlesung mit abstrakten Maschinen und der
Codeerzeugung für diese. Im Übersetzerbau werden abstrakte Maschinen
häufig eingesetzt, um Portabilität von erzeugtem Code zu
gewährleisten, bekanntestes Beispiel ist die Java Virtual Machine (JVM).
Im Einzelnen behandlen wir abstrakte Maschinen für eine imperative,
eine funktionale und eine logische Sprache. Hierbei verwenden wir zur
Veranschaulichung in der Vorlesung und zum besseren Lernen in den
Übungen das Visualisierungswerkzeug
GANIMAM, ein
generisches Werkzeug, das einerseits abstrakte Maschinen visualisiert und
andereseits erlaubt, neue Maschinen und neue Übersetzer zu spezifizieren
und umgehend damit zu experimentieren.
VAM ist ein weiteres
solches Tool, welches von Peter Ziewer in Trier entwickelt wurde. Weitere Infos
dazu findet man auf seiner
Homepage.
Literatur
Kapitel aus
- S. Diehl, T. Kunze. Visualizing principles of abstract machines by generating interactive animations. In FGCS - Future Generation Computer Systems, Vol. 16, pp. 831-839, 2000.
- R. Wilhelm, D. Maurer. Übersetzerbau - Theorie, Konstruktion, Generierung. 2. Auflage, Springer-Verlag, 1997
Folien
Übungen
Die Abgabe von Blatt 4 is wegen Pfingsten erst am 27.5. Keine Übungen am
24.5. Nächste Vorlesung ist erst wieder am 28.5.
Betreuer
SB: Jörg Bauer
TR: Peter Ziewer