Operational semantics: Difference between revisions

Revision as of 14:07, 14 January 2022

Revision as of 22:43, 18 August 2023

Line 29:

== Approaches ==

[[Gordon Plotkin]] introduced the structural operational semantics, [[Matthias Felleisen]] and Robert Hieb the reduction semantics,<ref name="felleisen-hieb-92">{{cite journal |title=The Revised Report on the Syntactic Theories of Sequential Control and State |journal=Theoretical Computer Science |last1=Felleisen |first1=M. |last2=Hieb |first2=R. |year=1992 |volume=103 |issue=2 |pages=235–271 |doi=10.1016/0304-3975(92)90014-7|doi-access=free }}</ref> and [[Gilles Kahn]] the natural semantics.

=== Small-step semantics ===