Formal Methods Wiki

This wiki's URL has been migrated to the primary fandom.com domain.Read more here

READ MORE

Formal Methods Wiki
Advertisement

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[]

Advertisement