Nächste Seite:
Motivation
Aufwärts:
Compilerbau Vorlesung Wintersemester 2008
Vorherige Seite:
Lokale Bindungen (Übersetzung)
Fixpunkte
Unterabschnitte
Motivation
Rekursion
Existenz von Fixpunkten
Funktionen als CPO
Funktionen als CPO, Beispiel
letrec
letrec: Transformation nach rec
Fixpunkt-Kombinatoren
2010-10-12
