\begin{slide}{Inhalt (Einzelheiten)}

  \begin{itemize}
  \item lexikalische und syntaktische Analyse

  \begin{itemize}
  \item algebraische Datentypen ($=$ Bäume)
  \item Funktionen höherer Ordnung ($=$ Entwurfsmuster)
  \item Parser-Kombinatoren
  \end{itemize}
  \item syntaxgesteuerte Übersetzung
    \begin{itemize}
    \item (konkrete) Intepretation
    \item Typen (abstrakte Intepretation)
    \item Codeerzeugung (abs. Int.)
    \end{itemize}
  \end{itemize}
\end{slide}
