\begin{slide}{CPS für Linearisierung}

\verb|(a + b) * (c + d)|
wird übersetzt (linearisiert) in

\begin{verbatim}
( \ top -> 
   plus a b $ \ x -> 
   plus c d $ \ y -> 
   mal  x y top
) ( \ z -> z )

plus x y k = k (x + y)
mal  x y k = k (x * y)
\end{verbatim}

später tatsächlich als Programmtransformation
(Kompilation)

\end{slide}
