Revision as of 22:53, 1 December 2020 edit Citation bot (talk \| contribs) Bots 5,872,178 edits 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 ← Previous edit		Revision as of 23:55, 20 December 2020 edit undo Tom.Reding (talk \| contribs) Autopatrolled, Extended confirmed users, Page movers, Template editors 4,367,075 edits m Enum 1 author/editor WL; WP:GenFixes on Tag: AWB 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]].<ref>{{Cite web\| title=Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I\| author=[[John McCarthy\| author-link=John McCarthy (computer scientist)~~\|John McCarthy]]~~\| url=http://www-formal.stanford.edu/jmc/recursive.html\| accessdate=2006-10-13\| url-status=dead\| archiveurl=https://web.archive.org/web/20131004215327/http://www-formal.stanford.edu/jmc/recursive.html\| archivedate=2013-10-04}}</ref> [[Abstract machine]]s in the tradition of the [[SECD machine]] are also closely related. == History == Line 138: == References == {{~~reflist~~Reflist}} [[Gilles Kahn]]. "Natural Semantics". ''Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science''. Springer-Verlag. London. 1987. <cite id=plotkin81> [[Gordon Plotkin\|Gordon D. Plotkin.]] [http://citeseer.ist.psu.edu/673965.html A Structural Approach to Operational Semantics]. (1981) Tech. Rep. DAIMI FN-19, Computer Science Department, Aarhus University, Aarhus, Denmark. (Reprinted with corrections in J. Log. Algebr. Program. 60-61: 17-139 (2004), [http://homepages.inf.ed.ac.uk/gdp/publications/sos_jlap.pdf preprint]). </cite>

Operational semantics: Difference between revisions