{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:32Z","timestamp":1725663392190},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190202"},{"type":"electronic","value":"9783540389200"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19020-1_30","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:55:34Z","timestamp":1330181734000},"page":"572-598","source":"Crossref","is-referenced-by-count":6,"title":["An action semantics of standard ML"],"prefix":"10.1007","author":[{"given":"David A.","family":"Watt","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"30_CR1","unstructured":"R. Harper, D. MacQueen, and R. Milner: Standard ML. Report ECS-LFCS-86-2, Computer Science Department, University of Edinburgh (March 1986)."},{"key":"30_CR2","unstructured":"J. Mark: Action semantics of ML and Amber. Report DAIMI IR-66, Computer Science Department, Aarhus University (November 1986)."},{"issue":"3","key":"30_CR3","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"R. Milner: A theory of type polymorphism in programming. J. Computer and System Sciences 17, 3, 348\u2013375 (1978).","journal-title":"J. Computer and System Sciences"},{"key":"30_CR4","unstructured":"R. Milner: The dynamic operational semantics of Standard ML. Computer Science Department, University of Edinburgh (April 1985)."},{"key":"30_CR5","volume-title":"Formal Description of Programming Concepts II","author":"P. D. Mosses","year":"1983","unstructured":"P. D. Mosses: Abstract semantic algebras! In Formal Description of Programming Concepts II (ed. D. Bj\u00f8rner), North-Holland, Amsterdam (1983)."},{"key":"30_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Semantics of Data Types","author":"P. D. Mosses","year":"1984","unstructured":"P. D. Mosses: A basic abstract semantic algebra. In Semantics of Data Types (ed. G. Kahn, D. B. MacQueen, and G. Plotkin), Lecture Notes in Computer Science 173, Springer, Berlin (1984)."},{"key":"30_CR7","volume-title":"Workshop on Semantic Issues in Human and Computer Languages","author":"P. D. Mosses","year":"1988","unstructured":"P. D. Mosses: Modularity in action semantics. In Workshop on Semantic Issues in Human and Computer Languages, MIT Press, Cambridge, Massachussets (forthcoming, 1988)."},{"key":"30_CR8","unstructured":"P. D. Mosses and D. A. Watt: Pascal action semantics \u2014 towards a denotational description of ISO Standard Pascal using abstract semantic algebras. Draft 0.30, Computer Science Department, Aarhus University (1986)"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"P. D. Mosses and D. A. Watt: The potential use of action semantics in standards. Report CSC\/86\/R1, Computing Science Department, University of Glasgow (March 1986).","DOI":"10.7146\/dpb.v15i206.7557"},{"key":"30_CR10","volume-title":"Formal Description of Programming Concepts III","author":"P. D. Mosses","year":"1987","unstructured":"P. D. Mosses and D. A. Watt: The use of action semantics. In Formal Description of Programming Concepts III (ed. M. Wirsing), North-Holland, Amsterdam (1987)."},{"key":"30_CR11","unstructured":"G. D. Plotkin: Structural operational semantics. Report DAIMI-FN19, Computer Science Department, Aarhus University (1981)."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Language Semantics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19020-1_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:16:06Z","timestamp":1605626166000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19020-1_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190202","9783540389200"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-19020-1_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}