Operational Semantics

Natural & Formal Sciences Dictionary
A formal system that defines the meaning of a programming language by giving inference rules that describe how program phrases change execution states or evaluate to values, typically presented in small-step (transition) or big-step (evaluation) styles.