{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:39:03Z","timestamp":1725676743667},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642288296"},{"type":"electronic","value":"9783642288302"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28830-2_19","type":"book-chapter","created":{"date-parts":[[2012,4,24]],"date-time":"2012-04-24T21:36:49Z","timestamp":1335303409000},"page":"344-353","source":"Crossref","is-referenced-by-count":4,"title":["RLSRunner: Linking Rascal with K for Program Analysis"],"prefix":"10.1007","author":[{"given":"Mark","family":"Hills","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Klint","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jurgen J.","family":"Vinju","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Frama-C, \n                  \n                    http:\/\/frama-c.cea.fr"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Borras, P., Clement, D., Despeyroux, T., Incerpi, J., Kahn, G., Lang, B., Pascual, V.: CENTAUR: the system. In: Proceedings of SDE 3, pp. 14\u201324. ACM Press (1988)","DOI":"10.1145\/64135.65005"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Burdy, L., Cheon, Y., Cok, D.R., Ernst, M.D., Kiniry, J., Leavens, G.T., Leino, K.R.M., Poll, E.: An overview of JML tools and applications. In: Proceedings of FMICS 2003. ENTCS, vol.\u00a080, pp. 75\u201391 (2003)","DOI":"10.1016\/S1571-0661(04)80810-7"},{"key":"19_CR4","first-page":"485","volume-title":"Proceedings of ASE 2007","author":"P. Charles","year":"2007","unstructured":"Charles, P., Fuhrer, R.M., Sutton Jr., S.M.: IMP: A Meta-Tooling Platform for Creating Language-Specific IDEs in Eclipse. In: Proceedings of ASE 2007, pp. 485\u2013488. ACM Press, New York (2007)"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Charles, P., Fuhrer, R.M., Sutton Jr., S.M., Duesterwald, E., Vinju, J.J.: Accelerating the Creation of Customized, Language-Specific IDEs in Eclipse. In: Proceedings of OOPSLA 2009, pp. 191\u2013206. ACM (2009)","DOI":"10.1145\/1639949.1640104"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","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. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"19_CR7","unstructured":"Heering, J., Klint, P.: Rewriting-based Languages and Systems. Cambridge Tracts in Theoretical Computer Science, vol.\u00a055, pp. 776\u2013789. Cambridge University Press (2003)"},{"key":"19_CR8","unstructured":"Hills, M.: A Modular Rewriting Approach to Language Design, Evolution and Analysis. PhD thesis, University of Illinois at Urbana-Champaign (2009)"},{"key":"19_CR9","unstructured":"Hills, M., Chen, F., Ro\u015fu, G.: Pluggable Policies for C. Technical Report UIUCDCS-R-2008-2931, Department of Computer Science, University of Illinois at Urbana-Champaign (2008)"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Hills, M., \u015eerb\u0103nu\u0163\u0103, T.F., Ro\u015fu, G.: A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters. In: Proceedings of WRLA 2006. ENTCS, vol.\u00a0176, pp. 215\u2013231. Elsevier (2007)","DOI":"10.1016\/j.entcs.2007.06.017"},{"key":"19_CR11","unstructured":"Hills, M., Ro\u015fu, G.: A Rewriting Logic Semantics Approach To Modular Program Analysis. In: Proceedings of RTA 2010. Leibniz International Proceedings in Informatics, vol.\u00a06, pp. 151\u2013160. Schloss Dagstuhl - Leibniz Center of Informatics (2010)"},{"key":"19_CR12","first-page":"168","volume-title":"Proceedings of SCAM 2009","author":"P. Klint","year":"2009","unstructured":"Klint, P., van der Storm, T., Vinju, J.: RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation. In: Proceedings of SCAM 2009, pp. 168\u2013177. IEEE Computer Society, Los Alamitos (2009)"},{"key":"19_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/978-3-642-18023-1_6","volume-title":"Generative and Transformational Techniques in Software Engineering III","author":"P. Klint","year":"2011","unstructured":"Klint, P., van der Storm, T., Vinju, J.: EASY Meta-Programming with Rascal. In: Fernandes, J.M., L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2009 III. LNCS, vol.\u00a06491, pp. 222\u2013289. Springer, Heidelberg (2011)"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Meseguer, J., Ro\u015fu, G.: The rewriting logic semantics project. In: Proceedings of SOS 2005. ENTCS, vol.\u00a0156, pp. 27\u201356. Elsevier (2006)","DOI":"10.1016\/j.entcs.2005.10.027"},{"issue":"3","key":"19_CR15","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., Rosu, G.: The rewriting logic semantics project. Theoretical Computer Science\u00a0373(3), 213\u2013237 (2007)","journal-title":"Theoretical Computer Science"},{"issue":"6","key":"19_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. Journal of Logic and Algebraic Programming\u00a079(6), 397\u2013434 (2010)","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"3","key":"19_CR17","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"},{"key":"19_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1007\/3-540-44881-0_30","volume-title":"Rewriting Techniques and Applications","author":"M. Brand van den","year":"2003","unstructured":"van den Brand, M., Moreau, P.-E., Vinju, J.J.: Environments for Term Rewriting Engines for Free! In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol.\u00a02706, pp. 424\u2013435. Springer, Heidelberg (2003)"},{"key":"19_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/3-540-45306-7_26","volume-title":"Compiler Construction","author":"M. Brand van den","year":"2001","unstructured":"van den Brand, M., van Deursen, A., Heering, J., de Jong, H.A., de Jonge, M., Kuipers, T., Klint, P., Moonen, L., Olivier, P.A., Scheerder, J., Vinju, J.J., Visser, E., Visser, J.: The ASF+SDF Meta-Environment: A Component-Based Language Development Environment. In: Wilhelm, R. (ed.) CC 2001. LNCS, vol.\u00a02027, pp. 365\u2013370. Springer, Heidelberg (2001)"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"van Deursen, A., Heering, J., Klint, P. (eds.): Language Prototyping: An Algebraic Specification Approach. AMAST Series in Computing, vol.\u00a05. World Scientific (1996)","DOI":"10.1142\/3163"}],"container-title":["Lecture Notes in Computer Science","Software Language Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28830-2_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:12:49Z","timestamp":1620126769000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28830-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288296","9783642288302"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28830-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}