1.Operational Semantics

• In operational semantics we are concerned with the change of the machines state when a phrase is executed.

• Example:

Computation : Statements x State State*

Computation (u = e, s)

= s’.(update (z,u,Store)), Input’, Output’, Environment’)

Previous slide

Next slide

Back to first slide

View graphic version