Simplified Procedural Semantics for Jay

Previously...

• State: Environment x Memory

  (variable name, memory loc) pairs   x   (memory loc, value) pairs

Simplified for Jay:

• We don't care about where in memory various variables are stored, so we can simplify to:

  State: set of (variable name, value) pairs