\begin{slide}{Statische und dynamische Semantik}

Semantik $=$ Bedeutung

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

  Bsp: Typ-Korrektheit von Ausdrücken, 
  Bedeutung (Bindung) von Bezeichnern

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

  Operational, Axiomatisch, Denotational
\end{itemize}


\end{slide}
