Spezifikation

closure conversion:

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

geschlossen: alle Variablen sind lokal

Ansatz:

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