(als Schritt im Compiler)
- Eingabe: Ausdruck X, Ausgabe: Ausdruck Y
- Semantik:
X≡Y(λv.v)
- Syntax:
-
X∈Exp (fast) beliebig,
-
Y∈Exp/CPS stark eingeschränkt:
- keine geschachtelten Applikationen
- Argumente von Applikationen und Operationen (+ ,*, > )
sind Variablen oder Literale
Johannes Waldmann
2013-01-31
