1. Operational Semantics
In operational semantics we are concerned with the change of the machines state when a phrase is executed.
Computation : Statements x State State*
= s’.(update (z,u,Store)), Input’, Output’, Environment’)
where a State consists of a Store, an Input stream, an Output Stream and an Environment, dashed variables represent new states and z is the result of evaluating e in state s.