\begin{slide}{Semantik}
  \begin{itemize}\itemsep 0pt
  \item dynamische (Programmausführung)
  \begin{itemize}\itemsep 0pt
  \item Interpretation
    \begin{itemize}\itemsep 0pt
    \item funktional, $\bullet$ imperativ (Speicher)
    \item Ablaufsteuerung (Continuations)
    \end{itemize}
  \item Transformation (Kompilation)
    \begin{itemize}\itemsep 0pt
    \item CPS transformation
    \item closure passing, lifting,
    $\bullet$ Registerzuweisung
    \end{itemize}
  \end{itemize}
\item statische: Typisierung (Programmanalyse)
  \begin{itemize}
  \item monomorph/polymorph
  \item deklariert/rekonstruiert
  \end{itemize}
  \end{itemize}
\end{slide}
