Speicher

type Store = Map Location Value

Syntax: Ausdrücke:

data Exp = ... 
  | (cell Exp) -- CellCreation
  | (begin Exp Exp) -- SimpleSequencing

Primops:

• lesen (@^ E)
• schreiben (@:= E1 E2),
• testen (ist Location?) (@cell? E),
• test (gleiche Location?) (cell=? E1 E2).

Beachte: explizite Dereferenzierung (@^)