Nächste Seite:
Motivation
Aufwärts:
Compilerbau Vorlesung Wintersemester 2008,
Vorherige Seite:
Übung Lambda-Kalkül
Fixpunkte
Unterabschnitte
Motivation
Existenz von Fixpunkten
Beispiele f. Halbordnungen, CPOs
Funktionen als CPO
Funktionen als CPO, Beispiel
Fixpunktberechnung im Interpreter
Fixpunkte und Laziness
Simultane Rekursion: letrec
letrec nach rec
Übung Fixpunkte
Johannes Waldmann 2013-01-31
