CPS-Transformation: Spezifikation

(als Schritt im Compiler)

• Eingabe: Ausdruck X, Ausgabe: Ausdruck Y
• Semantik: X≡Y(λv.v)

  (triviale top-level continuation)

• Syntax:
  • X∈Exp (fast) beliebig,
  • Y∈ExpCPS stark eingeschränkt
    • keine geschachtelten Applikationen
    • Argumente von Applikationen und Primops sind Variablen oder Literale