Operational semantics

A style of semantics that defines the meaning of programs by syntactically transforming terms according to reduction rules, specifying execution either step-by-step (Small-step/Structural operational semantics (SOS)) or as a direct relation to final values (Big-step/Natural operational semantics).