{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T20:12:15Z","timestamp":1743019935341,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642034282"},{"type":"electronic","value":"9783642034299"}],"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-03429-9_13","type":"book-chapter","created":{"date-parts":[[2009,8,28]],"date-time":"2009-08-28T12:12:52Z","timestamp":1251461572000},"page":"187-205","source":"Crossref","is-referenced-by-count":3,"title":["Towards a Module System for K"],"prefix":"10.1007","author":[{"given":"Mark","family":"Hills","sequence":"first","affiliation":[]},{"given":"Grigore","family":"Ro\u015fu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"13_CR1","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1007\/s100090100040","volume":"3","author":"M. Anlauff","year":"2001","unstructured":"Anlauff, M., Chakraborty, S., Kutter, P.W., Pierantonio, A., Thiele, L.: Generating an action notation environment from Montages descriptions. International Journal on Software Tools for Technology Transfer\u00a03(4), 431\u2013455 (2001)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-540-73449-9_5","volume-title":"Term Rewriting and Applications","author":"E. Balland","year":"2007","unstructured":"Balland, E., Brauner, P., Kopetz, R., Moreau, P.-E., Reilles, A.: Tom: Piggybacking Rewriting on Java. In: Baader, F. (ed.) RTA 2007. LNCS, vol.\u00a04533, pp. 36\u201347. Springer, Heidelberg (2007)"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Borovansk\u00fd, P., Kirchner, C., Kirchner, H., Moreau, P.-E., Ringeissen, C.: An overview of ELAN. In: Proceedings of WRLA 1998. ENTCS, vol.\u00a015 (1998)","DOI":"10.1016\/S1571-0661(05)82552-6"},{"key":"13_CR4","series-title":"ENTCS","first-page":"393","volume-title":"Proceedings of WRLA 2004","author":"C. Braga","year":"2005","unstructured":"Braga, C., Meseguer, J.: Modular Rewriting Semantics in Practice. In: Proceedings of WRLA 2004. ENTCS, vol.\u00a0117, pp. 393\u2013416. Elsevier, Amsterdam (2005)"},{"key":"13_CR5","series-title":"ENTCS","first-page":"133","volume-title":"Proceedings of WRLA 2006","author":"F. Chalub","year":"2007","unstructured":"Chalub, F., Braga, C.: Maude MSOS Tool. In: Proceedings of WRLA 2006. ENTCS, vol.\u00a0176, pp. 133\u2013146. Elsevier, Amsterdam (2007)"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.L. (eds.): All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"13_CR7","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.O. Braga de","year":"2000","unstructured":"de Braga, C.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)"},{"issue":"1","key":"13_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0167-6423(02)00107-7","volume":"47","author":"K.-G. Doh","year":"2003","unstructured":"Doh, K.-G., Mosses, P.D.: Composing programming languages by combining action-semantics modules. Science of Computer Programming\u00a047(1), 3\u201336 (2003)","journal-title":"Science of Computer Programming"},{"key":"13_CR9","unstructured":"Espinosa, D.A.: Semantic Lego. PhD thesis (1995)"},{"key":"13_CR10","first-page":"81","volume-title":"Proceedings of POPL 1990","author":"G. Berry","year":"1990","unstructured":"Berry, G., Boudol, G.: The Chemical Abstract Machine. In: Proceedings of POPL 1990, pp. 81\u201394. ACM Press, New York (1990)"},{"key":"13_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6541-0","volume-title":"Software Engineering with OBJ: algebraic specification in action","author":"J. Goguen","year":"2000","unstructured":"Goguen, J., Winkler, T., Meseguer, J., Futatsugi, K., Jouannaud, J.-P.: Introducing OBJ. In: Software Engineering with OBJ: algebraic specification in action. Kluwer, Dordrecht (2000)"},{"key":"13_CR12","first-page":"9","volume-title":"Specification and Validation Methods","author":"Y. Gurevich","year":"1995","unstructured":"Gurevich, Y.: Evolving Algebras 1993: Lipari Guide. In: Specification and Validation Methods, pp. 9\u201336. Oxford University Press, Oxford (1995)"},{"key":"13_CR13","series-title":"ENTCS","first-page":"119","volume-title":"Proceedings of WRS 2006","author":"M. Hidalgo-Herrero","year":"2007","unstructured":"Hidalgo-Herrero, M., Verdejo, A., Ortega-Mall\u00e9n, Y.: Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics. In: Proceedings of WRS 2006. ENTCS, vol.\u00a0174, pp. 119\u2013137. Elsevier, Amsterdam (2007)"},{"key":"13_CR14","unstructured":"Huggins, J.: ASM-Based Programming Language Definitions, http:\/\/www.eecs.umich.edu\/gasm\/proglang.html"},{"issue":"2","key":"13_CR15","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1049\/ip-sen:20041182","volume":"152","author":"J. Iversen","year":"2005","unstructured":"Iversen, J., Mosses, P.D.: Constructive Action Semantics for Core ML. IEE Proceedings - Software\u00a0152(2), 79\u201398 (2005)","journal-title":"IEE Proceedings - Software"},{"issue":"5","key":"13_CR16","first-page":"416","volume":"3","author":"P.W. Kutter","year":"1997","unstructured":"Kutter, P.W., Pierantonio, A.: Montages Specifications of Realistic Programming Languages. Journal of Universal Computer Science\u00a03(5), 416\u2013442 (1997)","journal-title":"Journal of Universal Computer Science"},{"key":"13_CR17","first-page":"333","volume-title":"Proceedings of POPL 1995","author":"S. Liang","year":"1995","unstructured":"Liang, S., Hudak, P., Jones, M.P.: Monad Transformers and Modular Interpreters. In: Proceedings of POPL 1995, pp. 333\u2013343. ACM Press, New York (1995)"},{"key":"13_CR18","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0304-3975(01)00357-7","volume":"285","author":"N. Mart\u00ed-Oliet","year":"2002","unstructured":"Mart\u00ed-Oliet, N., Meseguer, J.: Rewriting logic: roadmap and bibliography. Theoretical Computer Science\u00a0285, 121\u2013154 (2002)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"13_CR19","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science\u00a096(1), 73\u2013155 (1992)","journal-title":"Theoretical Computer Science"},{"key":"13_CR20","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., de Braga, C.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":"13_CR21","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-25984-8_1","volume-title":"Automated Reasoning","author":"J. Meseguer","year":"2004","unstructured":"Meseguer, J., Ro\u015fu, G.: Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools. In: Basin, D., Rusinowitch, M. (eds.) IJCAR 2004. LNCS (LNAI), vol.\u00a03097, pp. 1\u201344. Springer, Heidelberg (2004)"},{"issue":"3","key":"13_CR22","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/j.tcs.2006.12.018","volume":"373","author":"J. Meseguer","year":"2007","unstructured":"Meseguer, J., Ro\u015fu, G.: The rewriting logic semantics project. Theoretical Computer Science\u00a0373(3), 213\u2013237 (2007); Also appeared in SOS 2005, ENTCS. vol\u00a0156(1), pp. 27\u201356 (2006)","journal-title":"Theoretical Computer Science"},{"key":"13_CR23","unstructured":"Moggi, E.: An abstract view of programming languages. Technical Report ECS-LFCS-90-113, Edinburgh University, Department of Computer Science (June 1989)"},{"key":"13_CR24","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":"13_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/3-540-48340-3_7","volume-title":"Mathematical Foundations of Computer Science 1999","author":"P.D. Mosses","year":"1999","unstructured":"Mosses, P.D.: Foundations of Modular SOS. In: Kuty\u0142owski, M., Wierzbicki, T., Pacholski, L. (eds.) MFCS 1999. LNCS, vol.\u00a01672, pp. 70\u201380. Springer, Heidelberg (1999)"},{"key":"13_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/3-540-45719-4_3","volume-title":"Algebraic Methodology and Software Technology","author":"P.D. Mosses","year":"2002","unstructured":"Mosses, P.D.: Pragmatics of Modular SOS. In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol.\u00a02422, pp. 21\u201340. Springer, Heidelberg (2002)"},{"issue":"7","key":"13_CR27","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":"13_CR28","unstructured":"Mosses, P.D., New, M.J.: Implicit Propagation in Structural Operational Semantics. In: SOS 2008. Final version to appear in ENTCS (2008)"},{"key":"13_CR29","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. Journal of Logic and Algebraic Programming\u00a060-61, 17\u2013139 (2004)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"13_CR30","unstructured":"Ro\u015fu, G.: K: A Rewriting-Based Framework for Computations \u2013 Preliminary version. Technical Report Department of Computer Science UIUCDCS-R-2007-2926 and College of Engineering UILU-ENG-2007-1827, University of Illinois at Urbana-Champaign (2007)"},{"key":"13_CR31","volume-title":"JavaTMand the JavaTMVirtual Machine: Definition, Verification, Validation","author":"R. St\u00e4rk","year":"2001","unstructured":"St\u00e4rk, R., Schmid, J., B\u00f6rger, E.: JavaTMand the JavaTMVirtual Machine: Definition, Verification, Validation. Springer, Heidelberg (2001)"},{"issue":"1\/2","key":"13_CR32","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1023\/A:1010026413531","volume":"13","author":"C. Strachey","year":"2000","unstructured":"Strachey, C., Wadsworth, C.P.: Continuations: A Mathematical Semantics for Handling Full Jumps. Higher-Order and Symbolic Computation\u00a013(1\/2), 135\u2013152 (2000)","journal-title":"Higher-Order and Symbolic Computation"},{"issue":"3","key":"13_CR33","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.scico.2006.04.005","volume":"61","author":"M. Brand van den","year":"2006","unstructured":"van den Brand, M., Iversen, J., Mosses, P.D.: An Action Environment. Science of Computer Programming\u00a061(3), 245\u2013264 (2006)","journal-title":"Science of Computer Programming"},{"issue":"4","key":"13_CR34","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1145\/567097.567099","volume":"24","author":"M.G.J. Brand van den","year":"2002","unstructured":"van den Brand, M.G.J., Heering, J., Klint, P., Olivier, P.A.: Compiling language definitions: the ASF+SDF compiler. ACM TOPLAS\u00a024(4), 334\u2013368 (2002)","journal-title":"ACM TOPLAS"},{"key":"13_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1007\/BFb0014346","volume-title":"Algebraic Methodology and Software Technology","author":"A. Deursen van","year":"1996","unstructured":"van Deursen, A., Mosses, P.D.: ASD: The Action Semantic Description Tools. In: Nivat, M., Wirsing, M. (eds.) AMAST 1996. LNCS, vol.\u00a01101, pp. 579\u2013582. Springer, Heidelberg (1996)"},{"key":"13_CR36","first-page":"1","volume-title":"Proceedings of POPL 1992","author":"P. Wadler","year":"1992","unstructured":"Wadler, P.: The Essence of Functional Programming. In: Proceedings of POPL 1992, pp. 1\u201314. ACM Press, New York (1992)"},{"key":"13_CR37","unstructured":"Wansbrough, K., Hamer, J.: A Modular Monadic Action Semantics. In: Proceedings of DSL 1997. USENIX (1997)"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03429-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,21]],"date-time":"2020-05-21T21:09:49Z","timestamp":1590095389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03429-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642034282","9783642034299"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03429-9_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}