M. Sperber, H. Klaeren Wintersemester 1998/99

Compilerbau I

Blatt 8

Abgabe: 15.12.1997

1. [5 Punkte] Erweitern Sie die denotationelle Semantik des Lambda-Kalküls aus der Vorlesung um ein ,,eingebautes`` .
2. [10 Punkte] Erweitern Sie den Interpreter um raise und try, indem Sie diese in Aufrufe von entsprechenden eingebauten Funktionen umwandeln und die Funktionen dann implementieren. Benutzen Sie dazu raise und try der Metasprache.
3. [5 Punkte] Implementieren Sie die Fischer/Plotkin''=CPS''=Transformation.
4. [10 Punkte] Implementieren Sie die endrekursive Danvy/Filinski''=CPS''=Transformation.

• Über dieses Dokument ...