Content deleted Content added
Irontitan76 (talk | contribs) No edit summary |
Citation bot (talk | contribs) Alter: url. URLs might have been internationalized/anonymized. Add: isbn, date, pages, issue, volume, year. Formatted dashes. Upgrade ISBN10 to ISBN13. | You can use this bot yourself. Report bugs here. | Suggested by AManWithNoPlan | All pages linked from cached copy of User:AManWithNoPlan/sandbox2 | via #UCB_webform_linked 2844/9606 |
||
Line 31:
== Approaches ==
[[Gordon Plotkin]] introduced the structural operational semantics, Robert Hieb and [[Matthias Felleisen]] the reduction contexts,<ref>{{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 }}</ref> and [[Gilles Kahn]] the natural semantics.
=== Small-step semantics ===
Line 109:
reflexive, transitive closure of this relation gives the ''reduction relation'' for this language.
The technique is useful for the ease in which reduction contexts can model state or control constructs (e.g., [[continuations]]). In addition, reduction semantics have been used to model [[object-oriented]] languages,<ref>{{cite book|title=A Theory of Objects|last1=Abadi|first1=M.|last2=Cardelli|first2=L.|date=8 September 2012|isbn=9781441985989|url=https://books.google.com/books?id=AgzSBwAAQBAJ
=== Big-step semantics ===
| |||