Spezifikation

(lambda) lifting:

• Eingabe: Programm P
• Ausgabe: äquivalentes Programm P',
  bei dem alle Abstraktionen global sind

Motivation: in Maschinencode gibt es nur globale Sprungziele

(CPS-Transformation: Unterprogramme kehren nie zurück ⇒ globale Sprünge)