What is context
?



the environment in which a program perceives
the state the machine is in



State and Control Behave according to some well-defined contract.

Memory and Control Flow

Memory: Reads return the most recently written value
Control Flow: Processor executes instructions at some rate
n