Teilprojekt 8.10, Abstrakte Maschinen im Übersetzerbau
Projektbeschreibung
Im Rahmen von ULI-
Universitärer Lehrverbund Informatik arbeiten wir an der Erstellung
von Kursmaterial zur Vorlesung Abstrakte Maschinen im Übersetzerbau
sowie an
GANIMAM, einem Werkzeug
zur Visualisierung abstrakter Maschinen. Dies tun wir in enger Kooperation
mit dem Lehrstuhl von
Prof. Seidl
an der Universität in Trier, einem weiteren
ULI-Partner. Die Trierer kümmern sich intensiv um die technische
Plattform zur Vorlesungsübertragung und Aufzeichnung mit Hilfe des
Tele-Teaching-Tools
TTT.
Die Vorlesung ist eine Spezialvorlesung zum Übersetzerbau und behandelt
das Design abstrakter Maschinen nebst Codeerzeugung für diese.
Wir beschäftigen uns dabei mit Maschinen für imperative,
funktionale und logische Programmiersprachen.
Im SS03 bieten wir zudem erstmals die Vorlesung
Dokumentenverarbeitung im Rahmen von ULI an.
