imperative language: denotational semantics
How to imperative language: denotate assignment
The environment
The environment now returns locations upon name lookup. In turn, we do location lookup in the store.
Semantic differences
Rather than name-expression/value bindings, we now bind to locations.
Mutable records
Assignment for mutable records