FANDOM


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