Revision as of 13:00, 29 November 2024 edit Citation bot (talk \| contribs) Bots 5,872,182 edits Add: isbn, publisher. \| Use this bot. Report bugs. \| Suggested by Dominic3203 \| Category:Programming language semantics \| #UCB_Category 10/17 ← Previous edit		Revision as of 20:56, 5 January 2025 edit undo The Hurdy Gurdy Man (talk \| contribs) 287 edits m →Further reading: Fixed dead link. Next edit →
Line 136: == Further reading == [[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> <cite id=plotkin04>[[Gordon Plotkin\|Gordon D. Plotkin.]] The Origins of Structural Operational Semantics. J. Log. Algebr. Program. 60-61:3-15, 2004. ([http://homepages.inf.ed.ac.uk/gdp/publications/Origins_SOS.pdf preprint]). </cite> <cite id=scott70>[[Dana Scott\|Dana S. Scott.]] Outline of a Mathematical Theory of Computation, Programming Research Group, Technical Monograph PRG–2, Oxford University, 1970.</cite> <cite id=algol68> [[Adriaan van Wijngaarden]] et al. Revised Report on the Algorithmic Language [[ALGOL 68]]. IFIP. 1968. ([~~http~~https://~~vestein~~jemarch.~~arb~~net/algol68-~~phys.uni~~revised-~~dortmund.de/~wb/RR/rr~~report.pdf]~~{{dead link\|date=March 2018 \|bot=InternetArchiveBot \|fix-attempted=yes}})~~</cite> <cite id=hennessybook>[[Matthew Hennessy]]. Semantics of Programming Languages. Wiley, 1990. [https://www.cs.tcd.ie/matthew.hennessy/splexternal2015/resources/sembookWiley.pdf available online].</cite>

Operational semantics: Difference between revisions