Operational semantics is a style of formal semantics originally championed by Gordon Plotkin. The effect of the execution of the language is described directly rather than by translation.

See also[edit | edit source]

Community content is available under CC-BY-SA unless otherwise noted.