Go backward to Formal Specifications Go up to Top Go forward to Axiomatic semantics

Operational Semantics

• Language defined by interpreter (abstract machine).
• Each construct defined by a transition rule.
• Meaning of a program is a sequence of interpreter states.

P: S₁ -> S₂ -> ... -> S_n

• P ...program
• S_i ...interpreter state

Notation for interpreter may be as complex as language itself.