{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:30:41Z","timestamp":1761597041175},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540734475"},{"type":"electronic","value":"9783540734499"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73449-9_19","type":"book-chapter","created":{"date-parts":[[2007,8,13]],"date-time":"2007-08-13T12:49:53Z","timestamp":1187009393000},"page":"246-256","source":"Crossref","is-referenced-by-count":4,"title":["KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis"],"prefix":"10.1007","author":[{"given":"Mark","family":"Hills","sequence":"first","affiliation":[]},{"given":"Grigore","family":"Ro\u015fu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Chalub, F., Braga, C.: A Modular Rewriting Semantics for CML. In: Proceedings of the 8th. Brazilian Symposium on Programming Languages (May 2004)"},{"key":"19_CR2","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","volume":"285","author":"M. Clavel","year":"2002","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Quesada, J.: Maude: specification and programming in rewriting logic. Theoretical Computer Science\u00a0285, 187\u2013243 (2002)","journal-title":"Theoretical Computer Science"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-44881-0_7","volume-title":"Rewriting Techniques and Applications","author":"M. Clavel","year":"2003","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: The Maude 2.0 System. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol.\u00a02706, pp. 76\u201387. Springer, Heidelberg (2003)"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1007\/978-3-540-27813-9_46","volume-title":"Computer Aided Verification","author":"A. Farzan","year":"2004","unstructured":"Farzan, A., Chen, F., Meseguer, J., Ro\u015fu, G.: Formal Analysis of Java Programs in JavaFAN. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.\u00a03114, pp. 501\u2013505. Springer, Heidelberg (2004)"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1007\/978-3-540-27815-3_14","volume-title":"Algebraic Methodology and Software Technology","author":"A. Farzan","year":"2004","unstructured":"Farzan, A., Meseguer, J., Ro\u015fu, G.: Formal JVM Code Analysis in JavaFAN. In: Rattray, C., Maharaj, S., Shankland, C. (eds.) AMAST 2004. LNCS, vol.\u00a03116, pp. 132\u2013147. Springer, Heidelberg (2004)"},{"key":"19_CR6","volume-title":"Smalltalk-80: the language and its implementation","author":"A. Goldberg","year":"1983","unstructured":"Goldberg, A., Robson, D.: Smalltalk-80: the language and its implementation. Addison-Wesley Longman Publishing Co., Inc, Boston, MA, USA (1983)"},{"key":"19_CR7","volume-title":"The Java Language Definition","author":"J. Gosling","year":"1996","unstructured":"Gosling, J., Joy, B., Steele, G.: The Java Language Definition. Addison-Wesley, Reading (1996)"},{"key":"19_CR8","volume-title":"Proceedings of WRS 2006","author":"M. Hidalgo-Herrero","year":"2006","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, Elsevier, Amsterdam (2006)"},{"key":"19_CR9","unstructured":"Hills, M., Ro\u015fu, G.: KOOL: A K-based Object-Oriented Language. Technical Report UIUCDCS-R-2006-2779, University of Illinois at Urbana-Champaign (2006)"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of FMOODS 2007","author":"M. Hills","year":"2007","unstructured":"Hills, M., Ro\u015fu, G.: On Formal Analysis of OO Languages using Rewriting Logic: Designing for Performance. In: Proceedings of FMOODS 2007. LNCS, Springer, Heidelberg (to appear, 2007)"},{"key":"19_CR11","unstructured":"Hills, M., Rosu, G.: KOOL Language Homepage, \n                  \n                    http:\/\/fsl.cs.uiuc.edu\/KOOL"},{"key":"19_CR12","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":"19_CR13","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":"19_CR14","series-title":"Lecture Notes in Artificial Intelligence","first-page":"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)"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Meseguer, J., Ro\u015fu, G.: The rewriting logic semantics project. Theoretical Computer Science (to appear, 2007)","DOI":"10.1016\/j.tcs.2006.12.018"},{"key":"19_CR16","unstructured":"Moore, J.S.: \n                  \n                    http:\/\/www.cs.utexas.edu\/users\/moore\/publications\/thread-game.html"},{"key":"19_CR17","unstructured":"Ro\u015fu, G.: Lecture notes of course on Programming Language Design. Dept. of Computer Science, UIUC (2006), \n                  \n                    http:\/\/fsl.cs.uiuc.edu\/index.php\/CS422"},{"key":"19_CR18","unstructured":"Ro\u015fu, G.: K: a Rewrite Logic Framework for Language Design, Semantics, Analysis and Implementation. Technical Report UIUCDCS-R-2006-2802, Department of Computer Science, University of Illinois at Urbana-Champaign (2006)"},{"issue":"4","key":"19_CR19","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"}],"container-title":["Lecture Notes in Computer Science","Term Rewriting and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73449-9_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:12:32Z","timestamp":1619503952000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73449-9_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540734475","9783540734499"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73449-9_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}