Spezifikation

closure conversion:

• Eingabe: Programm P
• Ausgabe: äquivalentes Programm P', bei dem alle Abstraktionen geschlossen sind
• zusätzlich: P in CPS ⇒ P' in CPS

geschlossen: alle Variablen sind lokal

Ansatz:

• Werte der benötigten nicht lokalen Variablen
  ⇒ zusätzliche(s) Argument(e) der Abstraktion
• auch Applikationen entsprechend ändern