<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\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: Werte der benÃ¶tigten 
nicht lokalen Variablen
$\Rightarrow$ zusÃ¤tzliche(s) Argument(e) der Abstraktion

\end{slide}
</pre></body></html>