Revision as of 18:54, 26 August 2017 edit Me, Myself, and I are Here (talk \| contribs) Extended confirmed users 107,047 edits →See also: rm redlink ← Previous edit		Revision as of 21:18, 30 October 2017 edit undo Nwbeeson (talk \| contribs) Extended confirmed users 11,284 edits m copy edit of reference Next edit →
Line 7: because the program could be [[Nondeterministic algorithm\|nondeterministic]], and even for a deterministic program there can be many computation sequences since the semantics may not specify exactly what sequence of operations arrives at that value.) Perhaps the first formal incarnation of operational semantics was the use of the [[lambda calculus]] to define the semantics of [[LISP]] ~~by [~~.<ref>{{Cite web\| title=Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I\| author=[[John McCarthy (computer scientist)\|John McCarthy]] \| url=http://www-formal.stanford.edu/jmc/recursive.html \| accessdate=2006-10-13}}].</ref> [[Abstract machine]]s in the tradition of the [[SECD machine]] are also closely related.

Operational semantics: Difference between revisions