\begin{slide}{Motivation}
Funktionsaufrufe in CPS-Programm  kehren nie zurück,
können also als Sprünge implementiert werden!

\bigskip

CPS als einheitlicher Mechanismus für
  \begin{itemize}
  \item Linearisierung
    (sequentielle Anordnung von primitiven Operationen)
  \item
    Ablaufsteuerung (Schleifen, nicht lokale Sprünge)
  \item Unterprogramme
    (Übergabe von Argumenten und Resultat)
  \item Unterprogramme mit mehreren Resultaten
  \end{itemize}



\end{slide}
