{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:13:05Z","timestamp":1775052785369,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":61,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540430759","type":"print"},{"value":"9783540455752","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45575-2_18","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T21:30:22Z","timestamp":1180560622000},"page":"165-190","source":"Crossref","is-referenced-by-count":5,"title":["The Varieties of Programming Language Semantics And Their Uses"],"prefix":"10.1007","author":[{"given":"Peter D.","family":"Mosses","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,18]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"S. Abramsky and G. McCusker. Linearity, sharing, and state: A fully abstract game semantics for Idealized Algol with active expressions (extended abstract). In Proc. 1996 Workshop on Linear Logic, volume 3 of Electronic Notes in TCS. Elsevier, 1996.","DOI":"10.1016\/S1571-0661(05)80398-6"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"L. Aceto, W. Fokkink, and C. Verhoef. Structural operational semantics. In J. A. Bergstra, A. Ponse, and S. A. Smolka, editors, Handbook of Process Algebra, chapter 3, pages 197\u2013291. Elsevier Science, 2001.","DOI":"10.1016\/B978-044482830-9\/50021-7"},{"key":"18_CR3","unstructured":"C. Alexander. A Timeless Way of Building. Oxford University Press, 1979."},{"issue":"2","key":"18_CR4","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1016\/0890-5401(89)90057-6","volume":"83","author":"P. America","year":"1989","unstructured":"P. America, J. de Bakker, J. N. Kok, and J. J. M. M. Rutten. Denotational semantics of a parallel object-oriented language. Information and Computation, 83(2):152\u2013206, 1989.","journal-title":"Information and Computation"},{"key":"18_CR5","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/BF00288660","volume":"6","author":"E. A. Ashcroft","year":"1976","unstructured":"E. A. Ashcroft, M. Clint, and C. A. R. Hoare. Remarks on \u2018Program proving: Jumps and functions, by M. Clint and C. A. R. Hoare\u2019. Acta Inf., 6:317\u2013318, 1976.","journal-title":"Acta Inf."},{"key":"18_CR6","unstructured":"E. Astesiano. Inductive and operational semantics. In E. J. Neuhold and M. Paul, editors, Formal Description of Programming Concepts, IFIP State-of-the-Art Report, pages 51\u2013136. Springer-Verlag, 1991."},{"key":"18_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Smolcs driven concurrent calculi","author":"E. Astesiano","year":"1987","unstructured":"E. Astesiano and G. Reggio. Smolcs driven concurrent calculi. In TAPSOFT\u201987, Proc. Int. Joint Conf. on Theory and Practice of Software Development, Pisa, volume 249 of LNCS. Springer-Verlag, 1987."},{"key":"18_CR8","unstructured":"J. A. Bergstra, J. Heering, and P. Klint, editors. Algebraic Specification. Frontier Series. ACM Press, 1989."},{"key":"18_CR9","unstructured":"D. Bj\u00f8rner and C. B. Jones. Formal Specification and Software Development. Prentice-Hall, 1982."},{"key":"18_CR10","unstructured":"A. Blikle and A. Tarlecki. Naive denotational semantics. In Information Processing 83, Proc. IFIP Congress 83. North-Holland, 1983."},{"key":"18_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-57887-0_99","volume-title":"Extensible denotational semantics specifications","author":"R. Cartwright","year":"1994","unstructured":"R. Cartwright and M. Felleisen. Extensible denotational semantics specifications. In TACS\u201994, Proc. Symp. on Theoretical Aspects of Computer Software, Sendai, Japan, volume 789 of LNCS, pages 244\u2013272. Springer-Verlag, 1994."},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Inductive definitions, semantics and abstract interpretation. In POPL\u201992, Proc. 19th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, Albuquerque, New Mexico, pages 84\u201394, 1992.","DOI":"10.1145\/143165.143184"},{"issue":"2","key":"18_CR13","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1145\/234528.234748","volume":"28","author":"P. Degano","year":"1996","unstructured":"P. Degano and C. Priami. Enhanced operational semantics. ACM Computing Surveys, 28(2):352\u2013354, June 1996.","journal-title":"ACM Computing Surveys"},{"key":"18_CR14","unstructured":"A. van Deursen, J. Heering, and P. Klint, editors. Language Prototyping, volume 5 of AMAST Series in Computing. World Scientific, 1996."},{"key":"18_CR15","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E. W. Dijkstra","year":"1975","unstructured":"E. W. Dijkstra. Guarded commands, non-determinacy, and formal derivations of programs. Commun. ACM, 18:453\u2013457, 1975.","journal-title":"Commun. ACM"},{"key":"18_CR16","unstructured":"M. Felleisen and D. P. Friedman. Control operators, the SECD machine, and the \u03bb-calculus. In Formal Description of Programming Concepts III, Proc. IFIP TC2 Working Conference, Gl. Avern\u00e6s, 1986, pages 193\u2013217. North-Holland, 1987."},{"key":"18_CR17","series-title":"Lect Notes Comput Sci","volume-title":"Algebraic denotational semantics using parameterized abstract modules","author":"J. A. Goguen","year":"1981","unstructured":"J. A. Goguen and K. Parsaye-Ghomi. Algebraic denotational semantics using parameterized abstract modules. In J. Diaz and I. Ramos, editors, Proc. Int. Coll. on Formalization of Programming Concepts, Pe\u00f1iscola, number 107 in LNCS. Springer-Verlag, 1981."},{"key":"18_CR18","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J. A. Goguen","year":"1977","unstructured":"J. A. Goguen, J. W. Thatcher, E. G. Wagner, and J. B. Wright. Initial algebra semantics and continuous algebras. J. ACM, 24:68\u201395, 1977.","journal-title":"J. ACM"},{"key":"18_CR19","volume-title":"Handbook of Theoretical Computer Science","author":"C. A. Gunter","year":"1990","unstructured":"C. A. Gunter and D. S. Scott. Semantic domains. In J. van Leeuwen, A. Meyer, M. Nivat, M. Paterson, and D. Perrin, editors, Handbook of Theoretical Computer Science, volume B, chapter 12. Elsevier Science Publishers, Amsterdam; and MIT Press, 1990."},{"key":"18_CR20","unstructured":"Y. Gurevich. Evolving algebras 1993: Lipari guide. In E. B\u00f6rger, editor, Specification and Validation Methods. Oxford University Press, 1995."},{"key":"18_CR21","unstructured":"B. S. Hansen and J. Bundgaard. The role of the ANDF formal specification. Technical Report 202104\/RPT\/5, issue 2, DDC International A\/S, Lundtoftevej 1C, DK-2800 Lyngby, Denmark, 1992."},{"key":"18_CR22","unstructured":"B. S. Hansen and J. U. Toft. The formal specification of ANDF, an application of action semantics. In [42], pages 34\u201342, 1994."},{"key":"18_CR23","doi-asserted-by":"crossref","unstructured":"D. Harel. Dynamic logic. In Handbook of Philosophical Logic, volume II. D. Reidel Publishing Company, 1984.","DOI":"10.1007\/978-94-009-6259-0_10"},{"key":"18_CR24","unstructured":"R. Harper and C. Stone. A type-theoretic interpretation of Standard ML. In G. Plotkin, C. Stirling, and M. Tofte, editors, Robin Milner Festschrifft. MIT Press, 1998."},{"key":"18_CR25","doi-asserted-by":"crossref","unstructured":"J. Heering and P. Klint. Semantics of programming languages: A tool-oriented approach. ACM SIGPLAN Notices, Mar. 2000.","DOI":"10.1145\/351159.351173"},{"key":"18_CR26","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. Hoare","year":"1969","unstructured":"C. A. R. Hoare. An axiomatic basis for computer programming. Commun. ACM, 12:576\u2013580, 1969.","journal-title":"Commun. ACM"},{"key":"18_CR27","unstructured":"C. A. R. Hoare and H. Jifeng. Unifying Theories of Programming. Prentice-Hall, 1998."},{"key":"18_CR28","first-page":"135","volume":"3","author":"C. A. R. Hoare","year":"1974","unstructured":"C. A. R. Hoare and P. E. Lauer. Consistent and complementary formal theories of the semantics of programming languages. Act Inf., 3:135\u2013153, 1974.","journal-title":"Act Inf."},{"key":"18_CR29","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/BFb0039592","volume-title":"Natural semantics","author":"G. Kahn","year":"1987","unstructured":"G. Kahn. Natural semantics. In STACS\u201987, Proc. Symp. on Theoretical Aspects of Computer Science, volume 247 of LNCS, pages 22\u201339. Springer-Verlag, 1987."},{"key":"18_CR30","series-title":"Lect Notes Comput Sci","volume-title":"The eli system","author":"U. Kastens","year":"1998","unstructured":"U. Kastens, P. Pfahler, and M. Jung. The eli system. In CC\u201998, Proceedings 7th International Conference on Compiler Construction, volume 1383 of LNCS, pages 294\u2013297. Springer-Verlag, 1998."},{"key":"18_CR31","unstructured":"P. J. Landin. A formal description of Algol60. In Formal Language Description Languages for Computer Programming, Proc. IFIP TC2 Working Conference, 1964, pages 266\u2013294. IFIP, North-Holland, 1966."},{"key":"18_CR32","doi-asserted-by":"crossref","unstructured":"E. G. Manes and M. A. Arbib. Algebraic Approaches to Program Semantics. Springer-Verlag, 1986.","DOI":"10.1007\/978-1-4612-4962-7"},{"key":"18_CR33","unstructured":"J. McCarthy. Towards a mathematical science of computation. In Information Processing 62, Proc. IFIP Congress 62, pages 21\u201328. North-Holland, 1962."},{"key":"18_CR34","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"18_CR35","volume-title":"Handbook of Theoretical Computer Science","author":"R. Milner","year":"1990","unstructured":"R. Milner. Operational and algebraic semantics of concurrent processes. In J. van Leeuwen, A. Meyer, M. Nivat, M. Paterson, and D. Perrin, editors, Handbook of Theoretical Computer Science, volume B, chapter 19. Elsevier Science Publishers, Amsterdam; and MIT Press, 1990."},{"key":"18_CR36","doi-asserted-by":"crossref","unstructured":"R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. The MIT Press, 1997.","DOI":"10.7551\/mitpress\/2319.001.0001"},{"key":"18_CR37","unstructured":"E. Moggi. An abstract view of programming languages. Technical Report ECSLFCS-90-113, Computer Science Dept., University of Edinburgh, 1990."},{"key":"18_CR38","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"E. Moggi. Notions of computation and monads. Information and Computation, 93:55\u201392, 1991.","journal-title":"Information and Computation"},{"key":"18_CR39","doi-asserted-by":"crossref","unstructured":"E. Moggi. Metalanguages and applications. In Semantics and Logics of Computation, Publications of the Newton Institute. CUP, 1997.","DOI":"10.1017\/CBO9780511526619.006"},{"key":"18_CR40","volume-title":"Handbook of Theoretical Computer Science","author":"P. D. Mosses","year":"1990","unstructured":"P. D. Mosses. Denotational semantics. In Handbook of Theoretical Computer Science, volume B, chapter 11. Elsevier Science Publishers, Amsterdam; and MIT Press, 1990."},{"key":"18_CR41","unstructured":"P. D. Mosses. Action Semantics. Number 26 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1992."},{"key":"18_CR42","unstructured":"P. D. Mosses, editor. AS\u201994, Proc. 1st Intl. Workshop on Action Semantics, Edinburgh, number NS-94-1 in Notes Series. BRICS, Dept. of Computer Science, Univ. of Aarhus, 1994. http:\/\/www.brics.dk\/NS\/94\/1\/BRICS-NS-94-1\/ ."},{"key":"18_CR43","doi-asserted-by":"crossref","unstructured":"P. D. Mosses. Foundations of modular SOS. Research Series RS-99-54, BRICS, Dept. of Computer Science, Univ. of Aarhus, 1999. http:\/\/www.brics.dk\/RS\/99\/54 ; full version of [44].","DOI":"10.7146\/brics.v6i54.20124"},{"key":"18_CR44","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1007\/3-540-48340-3_7","volume-title":"MFCS\u201999","author":"P. D. Mosses","year":"1999","unstructured":"P. D. Mosses. Foundations of Modular SOS (extended abstract). In MFCS\u201999, volume 1672 of LNCS, pages 70\u201380. Springer-Verlag, 1999. Full version available at http:\/\/www.brics.dk\/RS\/99\/54\/ ."},{"key":"18_CR45","doi-asserted-by":"crossref","unstructured":"P. D. Mosses. A modular SOS for Action Notation (extended abstract). In AS\u201999, number NS-99-3 in Notes Series, pages 131\u2013142, BRICS, Dept. of Computer Science, Univ. of Aarhus, 1999. Full version available at http:\/\/www.brics.dk\/RS\/99\/56\/ .","DOI":"10.7146\/brics.v6i56.20126"},{"key":"18_CR46","doi-asserted-by":"crossref","unstructured":"P. D. Mosses. A modular SOS for ML concurrency primitives. Research Series RS-99-57, BRICS, Dept. of Computer Science, Univ. of Aarhus, 1999. http:\/\/www.brics.dk\/RS\/99\/57\/ .","DOI":"10.7146\/brics.v6i57.20127"},{"key":"18_CR47","unstructured":"P. D. Mosses and D. A. Watt. The use of action semantics. In Formal Description of Programming Concepts III, Proc. IFIP TC2 Working Conference, Gl. Avern\u00e6s, 1986, pages 135\u2013166. North-Holland, 1987."},{"key":"18_CR48","volume-title":"Semantics with Applications: A Formal Introduction","author":"H. R. Nielson","year":"1992","unstructured":"H. R. Nielson and F. Nielson. Semantics with Applications: A Formal Introduction. Wiley, Chichester, UK, 1992."},{"key":"18_CR49","unstructured":"F. J. Oles. A Category-Theoretic Approach to the Semantics of Programming Languages. PhD thesis, Syracuse University, 1982."},{"key":"18_CR50","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/b71652","volume-title":"Compiling Natural Semantics","author":"M. Pettersson","year":"1999","unstructured":"M. Pettersson. Compiling Natural Semantics, volume 1549 of LNCS. Springer-Verlag, 1999."},{"key":"18_CR51","unstructured":"G. D. Plotkin. A structural approach to operational semantics. Lecture Notes DAIMI FN-19, Dept. of Computer Science, Univ. of Aarhus, 1981."},{"key":"18_CR52","doi-asserted-by":"crossref","unstructured":"J. H. Reppy. CML: A higher-order concurrent language. In Proc. SIGPLAN\u201991, Conf. on Prog. Lang. Design and Impl., pages 293\u2013305. ACM, 1991.","DOI":"10.1145\/113446.113470"},{"key":"18_CR53","unstructured":"J. R. X. Ross. An Evaluation Based Approach to Process Calculi. PhD thesis, University of Cambridge, 1999."},{"key":"18_CR54","unstructured":"D. A. Schmidt. Denotational Semantics: A Methodology for Language Development. Allyn & Bacon, 1986."},{"key":"18_CR55","doi-asserted-by":"crossref","unstructured":"D. A. Schmidt. On the need for a popular formal semantics. ACM SIGPLAN Notices, 32(1), 1997.","DOI":"10.1145\/251595.251617"},{"key":"18_CR56","unstructured":"D. S. Scott and C. Strachey. Toward a mathematical semantics for computer languages. In Proc. Symp. on Computers and Automata, volume 21 of Microwave Research Institute Symposia Series. Polytechnic Institute of Brooklyn, 1971."},{"key":"18_CR57","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1145\/360303.360308","volume":"19","author":"R. D. Tennent","year":"1976","unstructured":"R. D. Tennent. The denotational semantics of programming languages. Commun. ACM, 19:437\u2013453, 1976.","journal-title":"Commun. ACM"},{"key":"18_CR58","unstructured":"K. Wansbrough and J. Hamer. A modular monadic action semantics. In Conference on Domain-Specific Languages, pages 157\u2013170. The USENIX Association, 1997."},{"key":"18_CR59","unstructured":"D. A. Watt. Programming Language Syntax and Semantics. Prentice-Hall, 1991."},{"key":"18_CR60","unstructured":"D. A. Watt. Why don\u2019t programming language designers use formal methods? In R. Barros, editor, Anais XXIII Semin\u00e1rio Integrado de Software e Hardware, pages 1\u201316, UFPE, Recife, Brazil, 1996."},{"key":"18_CR61","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/356596.356598","volume":"4","author":"P. Wegner","year":"1972","unstructured":"P. Wegner. The Vienna definition language. ACM Comput. Surv., 4:5\u201363, 1972.","journal-title":"ACM Comput. Surv."}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45575-2_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T09:35:04Z","timestamp":1556444104000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45575-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430759","9783540455752"],"references-count":61,"URL":"https:\/\/doi.org\/10.1007\/3-540-45575-2_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}