{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:13:31Z","timestamp":1725567211043},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642340048"},{"type":"electronic","value":"9783642340055"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34005-5_5","type":"book-chapter","created":{"date-parts":[[2012,10,3]],"date-time":"2012-10-03T02:33:39Z","timestamp":1349231619000},"page":"83-98","source":"Crossref","is-referenced-by-count":0,"title":["Making Maude Definitions More Interactive"],"prefix":"10.1007","author":[{"given":"Andrei","family":"Arusoaie","sequence":"first","affiliation":[]},{"given":"Traian Florin","family":"\u015eerb\u0103nu\u0163\u0103","sequence":"additional","affiliation":[]},{"given":"Chucky","family":"Ellison","sequence":"additional","affiliation":[]},{"given":"Grigore","family":"Ro\u015fu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"The K semantic framework website (2010), \n                  \n                    https:\/\/k-framework.googlecode.com"},{"key":"5_CR2","unstructured":"The Java I\/O server: svn repository with full sources (2011), \n                  \n                    https:\/\/k-framework.googlecode.com\/svn\/trunk\/core\/java"},{"key":"5_CR3","unstructured":"The Maude I\/O interface: svn repository with specification and examples (2011), \n                  \n                    http:\/\/k-framework.googlecode.com\/svn\/branches\/inProgress\/core\/io"},{"key":"5_CR4","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: Maude Manual (Version 2.6) (January 2011), \n                  \n                    http:\/\/maude.cs.uiuc.edu\/maude2-manual\/"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"5_CR6","volume-title":"Basic BASIC: an introduction to computer programming in BASIC language","author":"J.S. Coan","year":"1978","unstructured":"Coan, J.S.: Basic BASIC: an introduction to computer programming in BASIC language. Hayden Book Co., Rochelle Park (1978)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Dur\u00e1n, F., Riesco, A., Verdejo, A.: A distributed implementation of Mobile Maude. In: WRLA 2006. ENTCS, vol.\u00a0176(4), pp. 113\u2013131 (2007)","DOI":"10.1016\/j.entcs.2007.06.011"},{"key":"5_CR8","unstructured":"Ellison, C., Ro\u015fu, G.: An executable formal semantics of C with applications. In: POPL 2012. ACM (to appear, 2012)"},{"key":"5_CR9","unstructured":"FSF: C language testsuites: C-torture version 4.4.2 (2010), \n                  \n                    http:\/\/gcc.gnu.org\/onlinedocs\/gccint\/C-Tests.html"},{"key":"5_CR10","unstructured":"Meredith, P., Hills, M., Ro\u015fu, G.: An executable rewriting logic semantics of K-Scheme. In: SCHEME 2007, pp. 91\u2013103 (2007)"},{"issue":"1","key":"5_CR11","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":"5_CR12","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.: 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_CR13","doi-asserted-by":"crossref","unstructured":"Peyton Jones, S.L., Wadler, P.: Imperative functional programming. In: POPL 1993, pp. 71\u201384 (1993)","DOI":"10.1145\/158511.158524"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Ro\u015fu, G., \u015etef\u0103nescu, A.: Matching logic: A new program verification approach. In: ICSE 2011 (NIER Track), pp. 868\u2013871 (2011)","DOI":"10.1145\/1985793.1985928"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-642-17796-5_9","volume-title":"Algebraic Methodology and Software Technology","author":"G. Ro\u015fu","year":"2011","unstructured":"Ro\u015fu, G., Ellison, C., Schulte, W.: Matching Logic: An Alternative to Hoare\/Floyd Logic. In: Johnson, M., Pavlovic, D. (eds.) AMAST 2010. LNCS, vol.\u00a06486, pp. 142\u2013162. Springer, Heidelberg (2011)"},{"issue":"6","key":"5_CR16","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1016\/j.jlap.2010.03.012","volume":"79","author":"G. Ro\u015fu","year":"2010","unstructured":"Ro\u015fu, G., \u015eerb\u0103nu\u0163\u0103, T.F.: An overview of the K semantic framework. J. of Logic and Algebraic Programming\u00a079(6), 397\u2013434 (2010)","journal-title":"J. of Logic and Algebraic Programming"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/j.ic.2008.03.026","volume":"207","author":"T.F. \u015eerb\u0103nu\u0163\u0103","year":"2009","unstructured":"\u015eerb\u0103nu\u0163\u0103, T.F., Ro\u015fu, G., Meseguer, J.: A rewriting logic approach to operational semantics. Information and Computation\u00a0207, 305\u2013340 (2009)","journal-title":"Information and Computation"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-642-16310-4_8","volume-title":"Rewriting Logic and Its Applications","author":"T.F. \u015eerb\u0103nu\u0163\u0103","year":"2010","unstructured":"\u015eerb\u0103nu\u0163\u0103, T.F., Ro\u015fu, G.: K-Maude: A Rewriting Based Tool for Semantics of Programming Languages. In: \u00d6lveczky, P.C. (ed.) WRLA 2010. LNCS, vol.\u00a06381, pp. 104\u2013122. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Rewriting Logic and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34005-5_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:40:40Z","timestamp":1620132040000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34005-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340048","9783642340055"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34005-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}