Content deleted Content added
No edit summary Tags: Mobile edit Mobile web edit |
adding links to references using Google Scholar |
||
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.|url=https://books.google.com/books?id=AgzSBwAAQBAJ&printsec=frontcover#v=onepage&q=%22operational%20semantics%22&f=false}}</ref> [[design by contract|contract systems]], and other language features.
=== Big-step semantics ===
| |||