CPS-Transformation: Spezifikation

(als Schritt im Compiler)

• Eingabe: Ausdruck X mathend000#, Ausgabe: Ausdruck Y mathend000#
• Semantik: Wert von X mathend000# = mathend000# Wert von Y(λv.v) mathend000#
• Syntax:
  • X∈Exp mathend000# (fast) beliebig,
  • Y∈Exp/CPS mathend000# stark eingeschränkt:
    • keine geschachtelten Applikationen
    • Argumente von Applikationen und Operationen (+ ,*, > ) mathend000# sind Variablen oder Literale