{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:01:56Z","timestamp":1725483716081},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678236"},{"type":"electronic","value":"9783540449294"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44929-9_49","type":"book-chapter","created":{"date-parts":[[2007,5,5]],"date-time":"2007-05-05T09:20:53Z","timestamp":1178356853000},"page":"624-628","source":"Crossref","is-referenced-by-count":0,"title":["The Varieties of Programming Language Semantics"],"prefix":"10.1007","author":[{"given":"Peter D.","family":"Mosses","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,8,24]]},"reference":[{"key":"49_CR1","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."},{"issue":"1\/2","key":"49_CR2","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1010022412197","volume":"13","author":"O. Danvy","year":"2000","unstructured":"O. Danvy and C. Talcott. Editorial. Higher-Order and Symbolic Computation, 13(1\/2):5\u20136, 2000.","journal-title":"Higher-Order and Symbolic Computation"},{"key":"49_CR3","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":"49_CR4","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":"49_CR5","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":"49_CR6","unstructured":"J. A. Goguen and T. Winkler. Introducing OBJ3. Technical Report SRI-CSL-88-9, Computer Science Lab., SRI International, 1988."},{"key":"49_CR7","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":"49_CR8","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. To appear."},{"key":"49_CR9","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":"49_CR10","unstructured":"W. James. The Varieties of Religious Experience. MacMillan Publishing Company, 1997. Reprint edition."},{"key":"49_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/BFb0039592","volume-title":"STACS\u201987, Proc. Symp. on Theoretical Aspects of Computer Science","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":"49_CR12","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1093\/comjnl\/6.4.308","volume":"6","author":"P. J. Landin","year":"1964","unstructured":"P. J. Landin. The mechanical evaluation of expressions. Computer Journal, 6:308\u2013320, 1964.","journal-title":"Computer Journal"},{"key":"49_CR13","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":"49_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/3-540-61055-3_39","volume-title":"ESOP\u201996, Proc. 6th European Symposium on Programming, Link\u00f6ping","author":"S. Liang","year":"1996","unstructured":"S. Liang and P. Hudak. Modular denotational semantics for compiler construction. In ESOP\u201996, Proc. 6th European Symposium on Programming, Link\u00f6ping, volume 1058 of LNCS, pages 219\u2013234. Springer-Verlag, 1996."},{"key":"49_CR15","unstructured":"N. Mart\u00ed-Oliet and J. Meseguer. Rewriting logic as a logical and semantic framework. In D. Gabbay, editor, Handbook of Philosophical Logic, volume 6. Kluwer Academic Publishers, 1998. Also Technical Report SRI-CSL-93-05, SRI International, August 1993."},{"key":"49_CR16","unstructured":"J. McCarthy. Towards a mathematical science of computation. In Information Processing 62, Proc. IFIP Congress 62, pages 21\u201328. North-Holland, 1962."},{"key":"49_CR17","unstructured":"E. Moggi. An abstract view of programming languages. Technical Report ECS-LFCS-90-113, Computer Science Dept., University of Edinburgh, 1990."},{"key":"49_CR18","doi-asserted-by":"crossref","unstructured":"E. Moggi. Metalanguages and applications. In A. M. Pitts and P. Dybjer, editors, Semantics and Logics of Computation, Pblications of the Newton Institute. CUP, 1997.","DOI":"10.1017\/CBO9780511526619.006"},{"key":"49_CR19","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":"49_CR20","unstructured":"P. D. Mosses. Action Semantics. Number 26 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1992."},{"key":"49_CR21","doi-asserted-by":"crossref","unstructured":"P. D. Mosses. Foundations of modular SOS. Research Series BRICS-RS-99-54, BRICS, Dept. of Computer Science, Univ. of Aarhus, 1999. Full version of [22].","DOI":"10.7146\/brics.v6i54.20124"},{"key":"49_CR22","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, Proc. 24th Intl. Symp. on Mathematical Foundations of Computer Science, Szklarska-Poreba, Poland","author":"P. D. Mosses","year":"1999","unstructured":"P. D. Mosses. Foundations of Modular SOS (extended abstract). In MFCS\u201999, Proc. 24th Intl. Symp. on Mathematical Foundations of Computer Science, Szklarska-Poreba, Poland, volume 1672 of LNCS, pages 70\u201380. Springer-Verlag, 1999. Full version available [21]."},{"key":"49_CR23","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":"49_CR24","unstructured":"G. D. Plotkin. A structural approach to operational semantics. Lecture Notes DAIMI FN-19, Dept. of Computer Science, Univ. of Aarhus, 1981."},{"key":"49_CR25","unstructured":"A. W. Roscoe and C. A. R. Hoare. The laws of occam programming. Technical Report PRG-53, Programming Research Group, Oxford University, 1986."},{"key":"49_CR26","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":"49_CR27","first-page":"222","volume-title":"Proc. International Computing Symposium","author":"C. Strachey","year":"1972","unstructured":"C. Strachey. The varieties of programming language. In Proc. International Computing Symposium, pages 222\u2013233. Cini Foundation, Venice, 1972. A revised and slightly expanded version is Tech. Mono. PRG-10, Programming Research Group, University of Oxford, 1973."},{"key":"49_CR28","doi-asserted-by":"crossref","unstructured":"D. Turi and G. D. Plotkin. Towards a mathematical operational semantics. In Proc. LICS\u201997. IEEE, 1997.","DOI":"10.1109\/LICS.1997.614955"},{"key":"49_CR29","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":"49_CR30","unstructured":"D. A. Watt. Programming Language Syntax and Semantics. Prentice-Hall, 1991."},{"key":"49_CR31","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","Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44929-9_49","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T14:41:10Z","timestamp":1556376070000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44929-9_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678236","9783540449294"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-44929-9_49","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}