Formal Methods Wiki

Operational semantics

120pages on
this wiki
Add New Page
Talk0 Share

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

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.