{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:52:15Z","timestamp":1725537135042},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642041631"},{"type":"electronic","value":"9783642041648"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04164-8_5","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T16:10:48Z","timestamp":1252944648000},"page":"81-105","source":"Crossref","is-referenced-by-count":0,"title":["An Implementation of Object-Oriented Action Semantics in Maude"],"prefix":"10.1007","author":[{"given":"Andr\u00e9 Murbach","family":"Maidl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cl\u00e1udio","family":"Carvilhe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin A.","family":"Musicante","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1109\/QEST.2004.13","volume-title":"XXIV International Conference of the Chilean Computer Science Society (SCCC 2004)","author":"M. Ara\u00fajo","year":"2004","unstructured":"Ara\u00fajo, M., Musicante, M.A.: Lfl: A library of generic classes for object-oriented action semantics. In: XXIV International Conference of the Chilean Computer Science Society (SCCC 2004), Arica, Chile, November 11-12, 2004, pp. 39\u201347. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-45499-3_29","volume-title":"Algebraic Methodology and Software Technology","author":"C. Braga","year":"2000","unstructured":"Braga, C., Haeusler, E.H., Meseguer, J., Mosses, P.D.: Maude action tool: Using reflection to map action semantics to rewriting logic. In: Rus, T. (ed.) AMAST 2000. LNCS, vol.\u00a01816, pp. 407\u2013421. Springer, Heidelberg (2000)"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/3-540-55984-1_11","volume-title":"Compiler Construction","author":"D.F. Brown","year":"1992","unstructured":"Brown, D.F., Moura, H., Watt, D.A.: Actress: an action semantics directed compiler generator. In: Pfahler, P., Kastens, U. (eds.) CC 1992. LNCS, vol.\u00a0641, pp. 95\u2013109. Springer, Heidelberg (1992)"},{"issue":"8","key":"5_CR4","first-page":"910","volume":"9","author":"C. Carvilhe","year":"2003","unstructured":"Carvilhe, C., Musicante, M.A.: Object-oriented action semantics specifications. Journal of Universal Computer Science\u00a09(8), 910\u2013934 (2003)","journal-title":"Journal of Universal Computer Science"},{"key":"5_CR5","unstructured":"Chalub, F., Braga, C.: Maude msos tool. Technical report, Universidade Federal Fluminense (2005), http:\/\/maude-msos-tool.sourceforge.net\/mmt-manual.pdf"},{"key":"5_CR6","volume-title":"Proceedings of 6th International Workshop on Rewriting Logic and its Applications","author":"F. Chalub","year":"2006","unstructured":"Chalub, F., Braga, C.: Maude msos tool. In: Denker, G., Talcott, C. (eds.) Proceedings of 6th International Workshop on Rewriting Logic and its Applications, WRLA, Vienna, Austria. Elsevier, Amsterdam (2006)"},{"key":"5_CR7","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: Maude manual, version 2.3 (2007), http:\/\/maude.cs.uiuc.edu\/maude2-manual\/html\/"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-45499-3_29","volume-title":"Algebraic Methodology and Software Technology","author":"C.d.O. Braga","year":"2000","unstructured":"Braga, C.d.O., Haeusler, E.H., Meseguer, J., Mosses, P.D.: Maude action tool: Using reflection to map action semantics to rewriting logic. In: Rus, T. (ed.) AMAST 2000. LNCS, vol.\u00a01816, pp. 407\u2013421. Springer, Heidelberg (2000)"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Van Deursen, A., Mosses, P.D.: Asd: The action semantic description tools (1996)","DOI":"10.1007\/BFb0014346"},{"key":"5_CR10","series-title":"ENTCS","volume-title":"LDTA 2001","author":"K.-G. Doh","year":"2001","unstructured":"Doh, K.-G., Mosses, P.D.: Composing programming languages by combining action-semantics modules. In: van den Brand, M., Parigot, D. (eds.) LDTA 2001. ENTCS, vol.\u00a044.2. Elsevier, Amsterdam (2001)"},{"key":"5_CR11","unstructured":"Dur\u00e1n, F., Meseguer, J.: The Maude specification of Full Maude. Technical report, SRI International (1999)"},{"key":"5_CR12","unstructured":"Klint, P. (ed.): The asf+sdf meta-environment. Technical report, CWI, Centrum voor Wiskunde en Informatica, Amsterdam (1992), ftp:\/\/ftp.cwi.nl\/pub\/gipe\/reports\/SysManual.ps.Z"},{"key":"5_CR13","unstructured":"Labra Gayo, J.E.: Reusable semantic specifications of programming languages. In: SBLP 2002 - VI Brazilian Symposium on Programming Languages (2002)"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Iversen, J.: Formalisms and tools supporting Constructive Action Semantics. PhD thesis, BRICS International PhD School (May 2005)","DOI":"10.7146\/brics.v11i37.21862"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/j.entcs.2008.03.068","volume":"205","author":"A.M. Maidl","year":"2008","unstructured":"Maidl, A.M., Carvilhe, C., Musicante, M.A.: Maude object-oriented action tool. Electr. Notes Theor. Comput. Sci.\u00a0205, 105\u2013121 (2008)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"5_CR16","unstructured":"Maidl, A.M.: A maude implementation of object-oriented action semantics. Master\u2019s thesis, Universidade Federal do Paran\u00e1 (2007) (in portuguese)"},{"key":"5_CR17","unstructured":"Mart\u00ed-Oliet, N., Meseguer, J.: Rewriting logic as a logical and semantic framework. Technical report, SRI International (1993)"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/978-3-540-27815-3_29","volume-title":"Algebraic Methodology and Software Technology","author":"J. Meseguer","year":"2004","unstructured":"Meseguer, J., Braga, C.d.O.: Modular rewriting semantics of programming languages. In: Rattray, C., Maharaj, S., Shankland, C. (eds.) AMAST 2004. LNCS, vol.\u00a03116, pp. 364\u2013378. Springer, Heidelberg (2004)"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Mosses, P.D.: Action semantics. In: ADT (1986)","DOI":"10.7146\/dpb.v15i217.7568"},{"key":"5_CR20","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569869","volume-title":"Action Semantics","author":"P.D. Mosses","year":"1992","unstructured":"Mosses, P.D.: Action Semantics. Cambridge Tracts in Theoretical Computer Science, vol.\u00a026. Cambridge University Press, Cambridge (1992)"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Mosses, P.D.: A modular SOS for Action Notation. BRICS RS 99-56, Dept. of Computer Science, Univ. of Aarhus (1999)","DOI":"10.7146\/brics.v6i56.20126"},{"key":"5_CR22","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/j.jlap.2004.03.008","volume":"60-61","author":"P.D. Mosses","year":"2004","unstructured":"Mosses, P.D.: Modular structural operational semantics. J. Logic and Algebraic Programming\u00a060-61, 195\u2013228 (2004); Special issue on SOS","journal-title":"J. Logic and Algebraic Programming"},{"issue":"7","key":"5_CR23","first-page":"1117","volume":"11","author":"P.D. Mosses","year":"2005","unstructured":"Mosses, P.D.: A constructive approach to language definition. Journal of Universal Computer Science\u00a011(7), 1117\u20131134 (2005)","journal-title":"Journal of Universal Computer Science"},{"key":"5_CR24","unstructured":"Moura, H., Menezes, L.C., Monteiro, M., Sampaio, P., Cansan\u00e7\u00e3o, W.: The abaco system: An action tool for programming language designers. In: AS 2002, pp. 1\u20138. Dept. of Computer Science (2002) BRICS NS-02-8"},{"key":"5_CR25","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.jlap.2004.03.009","volume":"60-61","author":"G.D. Plotkin","year":"2004","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. J. Logic and Algebraic Programming\u00a060-61, 17\u2013139 (2004); Special issue on SOS","journal-title":"J. Logic and Algebraic Programming"},{"issue":"3","key":"5_CR26","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.scico.2006.04.005","volume":"61","author":"M. Brand van der","year":"2006","unstructured":"van der Brand, M., Iversen, J., Mosses, P.D.: An action environment. Sci. Comput. Program.\u00a061(3), 245\u2013264 (2006)","journal-title":"Sci. Comput. Program."},{"key":"5_CR27","volume-title":"Programming language syntax and semantics","author":"D.A. Watt","year":"1991","unstructured":"Watt, D.A., Thomas, M.: Programming language syntax and semantics. Prentice Hall International (UK) Ltd, Hertfordshire (1991)"}],"container-title":["Lecture Notes in Computer Science","Semantics and Algebraic Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04164-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,22]],"date-time":"2020-05-22T05:10:14Z","timestamp":1590124214000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04164-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642041631","9783642041648"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04164-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}