Semantik f. Speicher

type Store = Map Location Value
type State = Store

type Comp = State -> ( Value, State )

Das ist genau die Zustands-Monade aus Haskell.

primitive Operationen (vgl. DCPL.Store)

• allocating
• fetching
• update