\begin{slide}{Spezifikation}

closure conversion:
\begin{itemize}
\item Eingabe: Programm $P$
\item Ausgabe: äquivalentes Programm $P'$,
  bei dem alle Abstraktionen \emph{geschlossen} sind
\item zusätzlich: $P$ in CPS $\Rightarrow$ $P'$ in CPS
\end{itemize}

geschlossen: alle Variablen sind lokal

\bigskip

Ansatz:
\begin{itemize}
\item 
 Werte der benötigten 
nicht lokalen Variablen \\
$\Rightarrow$ zusätzliche(s) Argument(e) der Abstraktion
\item
  auch Applikationen entsprechend ändern
\end{itemize}



\end{slide}
