\begin{slide}{Vereinfachungen}

um geforderte Syntax (ExpCPS) zu erreichen:

\begin{itemize}
\item implicit-let
\begin{verbatim}
(app (abs (i_1 .. i_n) b) a_1 .. a_n)
==>
(let ((i_1 a_1)) ( .. (let ((i_n a_n)) b)..))
\end{verbatim}
\end{itemize}

Umbenennungen von Variablen entfernen:
\begin{itemize}
\item copy-prop
\begin{verbatim}
(let ((i i')) b) ==> b [i:=i']
\end{verbatim}
aber kein allgemeines Inlining
\end{itemize}

\end{slide}
