CPS-Transformation: Zielsyntax

Exp/CPS ==> App Id Exp/Value^*
    | If Exp/Value Exp/CPS Exp/CPS
    | Let Id Exp/Letable Exp/CPS
    | Err String

Exp/Value ==> Literal + Identifier 

Exp/Letable ==> Literal
    | Abs Id^* Exp/CPS
    | Exp/Value Op Exp/Value

Übersetze

(0 - (b * b)) + (4 * (a * c))