M. Sperber, H. Klaeren Wintersemester 1997/98

Compilerbau I

Blatt 8

Abgabe: 18.12.1997

1. [10 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. Hinweis: Benutzen Sie raise und try der Metasprache.
3. [10 Punkte] Stellen Sie sich vor, die Metasprache des Interpreters für den Lambda-Kalkül würde dynamische Bindung benutzen. Wie verändert sich die Semantik der implementierten Sprache? Warum?

• Über dieses Dokument ...