\begin{slide}{Definition}
(alles nach: Turbak/Gifford Ch. 17.9)

CPS-Transformation (continuation passing style):
\begin{itemize}
\item original: Funktion gibt Wert zurück
\begin{verbatim}
f == (abs (x y) (let ( ... ) v))
\end{verbatim}
\item cps: Funktion erhält zusätzliches Argument,
  das ist eine \emph{Fortsetzung} (continuation),
  die den Wert verarbeitet:
\begin{verbatim}
f-cps == (abs (x y k) (let ( ... ) (k v))
\end{verbatim}
\end{itemize}

aus \verb|g (f 3 2)| wird \verb|f-cps 3 2 g-cps|

\end{slide}






