Semantik für CPS

Semantik von Ausdruck x

in Umgebung E mit Continuation k

• x = (app f a)

  Semantik von f in E mit Continuation: λp.

  Semantik von a in E mit Continuation: λv.p v k

• x = (label L B)

  Semantik von B in Umgebung E[L/k] mit k

• x = (jump L B)

  let k' = gebundener Wert von L in E,

  Semantik von B in E mit k'