\begin{slide}{Denotationale Semantik}

Beispiele
\begin{itemize} \parskip 0pt
\item
  jedes (nebenwirkungsfreie) \emph{Unterprogramm}
  ist eine Funktion von Argument nach Resultat
\item
  jede \emph{Anweisung}
  ist eine Funktion
  von Speicherzustand nach Speicherzustand
\end{itemize}

Vorteile denotationaler Semantik:
\begin{itemize} \parskip 0pt
\item Bedeutung eines Programmes $=$
  mathematisches Objekt
\item
  durch Term beschreiben, durch äquivalente
  Umformungen verarbeiten (equational reasoning)
\end{itemize}
Vorteil deklarativer Programierung:

Programmiersprache \emph{ist} Beschreibungssprache

\end{slide}


