Operational semantics

category of formal programming language semantics