"Operational semantics is a style of formal semantics\u2191 originally championed by Gordon Plotkin\u2191. The effect of the execution of the language is described directly rather than by translation."@en . "Operational semantics"@en . . "Operational Semantics"@en . "Operational semantics is a style of formal semantics\u2191 originally championed by Gordon Plotkin\u2191. The effect of the execution of the language is described directly rather than by translation."@en . . . . . .