\begin{slide}{Spezifikation}

(lambda) lifting:
\begin{itemize}
\item Eingabe: Programm $P$
\item Ausgabe: äquivalentes Programm $P'$, \\
  bei dem alle Abstraktionen global sind
\end{itemize}

Motivation: in Maschinencode gibt es nur
globale Sprungziele

(CPS-Transformation: Unterprogramme kehren nie
zurück $\Rightarrow$ globale Sprünge)

\end{slide}
