\begin{slide}{Denotationale Semantik}

Beispiele
\begin{itemize}
\item
  jede Anweisung 

  ist eine Funktion
  von Speicherzustand nach Speicherzustand
\item
  jedes (nebenwirkungsfreie) Unterprogramm

  ist eine Funktion von Argument nach Resultat
\end{itemize}

\end{slide}
%%% Local Variables: 
%%% mode: latex
%%% TeX-master: t
%%% End: 
