{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T23:27:49Z","timestamp":1676935669482},"reference-count":28,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2003,4,1]],"date-time":"2003-04-01T00:00:00Z","timestamp":1049155200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,8,22]],"date-time":"2013-08-22T00:00:00Z","timestamp":1377129600000},"content-version":"vor","delay-in-days":3796,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2003,4]]},"DOI":"10.1016\/s0167-6423(02)00107-7","type":"journal-article","created":{"date-parts":[[2002,11,12]],"date-time":"2002-11-12T12:32:32Z","timestamp":1037104352000},"page":"3-36","source":"Crossref","is-referenced-by-count":35,"title":["Composing programming languages by combining action-semantics modules"],"prefix":"10.1016","volume":"47","author":[{"given":"Kyung-Goo","family":"Doh","sequence":"first","affiliation":[]},{"given":"Peter D.","family":"Mosses","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0167-6423(02)00107-7_BIB1","first-page":"244","article-title":"Extensible denotational language specifications","volume":"vol. 789","author":"Cartwright","year":"1994"},{"key":"10.1016\/S0167-6423(02)00107-7_BIB2","series-title":"Specification and Validation Methods","article-title":"Evolving algebras 1993","author":"Gurevich","year":"1995"},{"issue":"3","key":"10.1016\/S0167-6423(02)00107-7_BIB3","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/351159.351173","article-title":"Semantics of programming languages","volume":"35","author":"Heering","year":"2000","journal-title":"ACM SIGPLAN Notices"},{"key":"10.1016\/S0167-6423(02)00107-7_BIB4","unstructured":"C.A.R. Hoare, Hints on programming language design, in: POPL\u201973, Proc. 1st ACM Symp. on Principles of Programming Languages, ACM Press, New York, 1973."},{"key":"10.1016\/S0167-6423(02)00107-7_BIB5","series-title":"Essays in Computing Science","author":"Hoare","year":"1989"},{"issue":"5","key":"10.1016\/S0167-6423(02)00107-7_BIB6","first-page":"416","article-title":"Montages","volume":"3","author":"Kutter","year":"1997","journal-title":"J. Universal Comput. Sci."},{"key":"10.1016\/S0167-6423(02)00107-7_BIB7","unstructured":"S.B. Lassen, P.D. Mosses, D.A. Watt, An introduction to AN-2, the proposed new version of Action Notation, in: AS 2000, no. NS-00-6 in Notes Series, BRICS, Department of Computer Science, University of Aarhus, 2000, pp. 19\u201336."},{"key":"10.1016\/S0167-6423(02)00107-7_BIB8","first-page":"219","article-title":"Modular denotational semantics for compiler construction","volume":"vol. 1058","author":"Liang","year":"1996"},{"key":"10.1016\/S0167-6423(02)00107-7_BIB9","unstructured":"L. Menezes, H. Moura, Component-based action semantics: a new approach for programming language specification, in: SBLP 2001, V Brazilian Symp. on Programming Languages, 2001."},{"key":"10.1016\/S0167-6423(02)00107-7_BIB10","unstructured":"E. Moggi, An abstract view of programming languages, Tech. Rep. ECS-LFCS-90-113, Computer Science Department, University of Edinburgh, 1990."},{"key":"10.1016\/S0167-6423(02)00107-7_BIB11","article-title":"Action semantics","volume":"vol. 26","author":"Mosses","year":"1992"},{"key":"10.1016\/S0167-6423(02)00107-7_BIB12","first-page":"37","article-title":"Theory and practice of action semantics","volume":"vol. 1113","author":"Mosses","year":"1996"},{"key":"10.1016\/S0167-6423(02)00107-7_BIB13","unstructured":"P.D. Mosses, A tutorial on action semantics, tutorial notes for FME\u201994 (Formal Methods Europe, Barcelona, 1994) and FME\u201996 (Formal Methods Europe, Oxford, 1996), also available from the author at http:\/\/www.brics.dk\/Projects\/AS\/ (March 1996)."},{"key":"10.1016\/S0167-6423(02)00107-7_BIB14","doi-asserted-by":"crossref","unstructured":"P.D. Mosses, A modular SOS for action notation, Tech. Rep. BRICS RS-99-56, Department of Computer Science, University of Aarhus, December 1999.","DOI":"10.7146\/brics.v6i56.20126"},{"key":"10.1016\/S0167-6423(02)00107-7_BIB15","doi-asserted-by":"crossref","unstructured":"P.D. Mosses, Foundations of Modular SOS (extended abstract), in: MFCS\u201999, Proc. 24th Inetrnat. Symp. on Mathematical Foundations of Computer Science, Szklarska Poreba, Poland, Lecture Notes in Computer Science, Springer, Berlin, 1999, pp. 70\u201380, full version published as BRICS RS-99-54, Department of Computer Science, University of Aarhus, 1999.","DOI":"10.1007\/3-540-48340-3_7"},{"key":"10.1016\/S0167-6423(02)00107-7_BIB16","unstructured":"P.D. Mosses, D.A. Watt, Pascal: action semantics, draft, Version 0.6, Available from the authors at http:\/\/www.brics.dk\/Projects\/AS\/ (March 1993)."},{"key":"10.1016\/S0167-6423(02)00107-7_BIB17","unstructured":"G.D. Plotkin, A structural approach to operational semantics, Lecture Notes DAIMI FN-19, Department of Computer Science, University of Aarhus, 1981."},{"key":"10.1016\/S0167-6423(02)00107-7_BIB18","series-title":"Denotational Semantics","author":"Schmidt","year":"1986"},{"key":"10.1016\/S0167-6423(02)00107-7_BIB19","series-title":"The Structure of Typed Programming Languages","author":"Schmidt","year":"1994"},{"key":"10.1016\/S0167-6423(02)00107-7_BIB20","series-title":"Denotational Semantics","author":"Stoy","year":"1977"},{"key":"10.1016\/S0167-6423(02)00107-7_BIB21","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF00289243","article-title":"Language design methods based on semantic principles","volume":"8","author":"Tennent","year":"1977","journal-title":"Acta Inform."},{"key":"10.1016\/S0167-6423(02)00107-7_BIB22","first-page":"365","article-title":"The ASF+SDF meta environment","volume":"vol. 2027","author":"van den Brand","year":"2001"},{"key":"10.1016\/S0167-6423(02)00107-7_BIB23","unstructured":"A. van Deursen, J. Heering, P. Klint (Eds.), Language Prototyping, AMAST Series in Computing, vol. 5, World Scientific, Singapore, 1996."},{"key":"10.1016\/S0167-6423(02)00107-7_BIB24","first-page":"579","article-title":"ASD","volume":"vol. 1101","author":"van Deursen","year":"1996"},{"key":"10.1016\/S0167-6423(02)00107-7_BIB25","unstructured":"K. Wansbrough, J. Hamer, A modular monadic action semantics, in: Proc. Conf. on Domain-Specific Languages, The USENIX Association, Berkeley, CA, 1997, pp. 157\u2013170."},{"key":"10.1016\/S0167-6423(02)00107-7_BIB26","series-title":"Programming Language Syntax and Semantics","author":"Watt","year":"1991"},{"key":"10.1016\/S0167-6423(02)00107-7_BIB27","unstructured":"D.A. Watt, Standard ML action semantics, draft, Version 0.5, Available from the author at http:\/\/www.brics.dk\/Projects\/AS\/ (May 1997)."},{"key":"10.1016\/S0167-6423(02)00107-7_BIB28","unstructured":"D.A. Watt, The static and dynamic semantics of Standard ML, in: P.D. Mosses, D.A. Watt (Eds.), AS\u201999, 2nd Internat. Workshop on Action Semantics BRICS NS-99-3, Department of Computer Science, University of Aarhus, 1999, pp. 155\u2013172."}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642302001077?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642302001077?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,2]],"date-time":"2019-04-02T13:23:24Z","timestamp":1554211404000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642302001077"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,4]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,4]]}},"alternative-id":["S0167642302001077"],"URL":"https:\/\/doi.org\/10.1016\/s0167-6423(02)00107-7","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[2003,4]]}}}