\begin{slide}{Statische und dynamische Semantik}

Semantik $=$ Bedeutung

\begin{itemize}
\item
  statisch (kann zur Übersetzungszeit geprüft werden)

  Beispiele:
  \begin{itemize}
  \item    Typ-Korrektheit von Ausdrücken, 
  \item   Bedeutung (Bindung) von Bezeichnern
  \end{itemize}

  Hilfsmittel: Attributgrammatiken
\item
  dynamisch (beschreibt Ausführung des Programms)

  operational, axiomatisch, denotational
\end{itemize}


\end{slide}
