
\begin{slide}{Transformation f. Abstraktion}

\begin{verbatim}
CPS[ (abs (i_1 ... i_n) b) ] =
(abs (k)
  (let ((i (abs (i_1 .. i_n c)
              (app CPS[b] c))))
    (app k i)))
\end{verbatim}
  
\bigskip
Ü: Transformation für \verb|let|

\end{slide}
