\begin{slide}{Semantik f. Speicher}

\begin{verbatim}
type Store = Map Location Value
type State = Store

type Comp = State -> ( Value, State )
\end{verbatim}
Das ist genau die Zustands-Monade aus Haskell.

primitive Operationen (vgl. DCPL.Store)
  \begin{itemize}
  \item allocating
  \item fetching
  \item update
  \end{itemize}



\end{slide}
