\begin{slide}{Speicher---Übung}

Code aus Vorlesung:
\url{http://dfa.imn.htwk-leipzig.de/cgi-bin/gitweb.cgi?p=ws11-cb.git}
\begin{verbatim}
git clone git://dfa.imn.htwk-leipzig.de/srv/git/ws11-cb
\end{verbatim}

Fakultät imperativ:
\begin{verbatim}
let { fak = \ n -> 
        { a := new 1 ;
          while ( n > 0 ) 
            { a := a * n ; n := n - 1; }
          return a; 
        }
    } in  fak 5
\end{verbatim}
\newpage

\begin{enumerate}
\item 
Schleife durch Rekursion ersetzen und Sequenz durch \verb|let|:
\begin{verbatim}
fak = let { a = new 1 }
      in  Rec f ( \ n -> ... )
\end{verbatim}
\item
Syntaxbaumtyp erweitern um Knoten für Sequenz und Schleife
\end{enumerate}

\end{slide}
