\begin{slide}{Dynamische Semantik}

\begin{itemize}
\item
  operational:

  beschreibt Wirkung von Anweisungen 
  durch Änderung des Programmzustandes
\item
  axiomatisch (Bsp: wp-Kalkül):

  enthält Schlußregeln, um Aussagen über Programme zu beweisen

\item
  denotational:

  ordnet jedem (Teil-)Programm einen Wert zu,
  Bsp: eine Funktion (höherer Ordnung).
\end{itemize}

\end{slide}

