{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:23:14Z","timestamp":1725898994379},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642163098"},{"type":"electronic","value":"9783642163104"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16310-4_16","type":"book-chapter","created":{"date-parts":[[2010,10,1]],"date-time":"2010-10-01T03:44:29Z","timestamp":1285904669000},"page":"243-261","source":"Crossref","is-referenced-by-count":7,"title":["The Third Rewrite Engines Competition"],"prefix":"10.1007","author":[{"given":"Francisco","family":"Dur\u00e1n","sequence":"first","affiliation":[]},{"given":"Manuel","family":"Rold\u00e1n","sequence":"additional","affiliation":[]},{"given":"Jean-Christophe","family":"Bach","sequence":"additional","affiliation":[]},{"given":"Emilie","family":"Balland","sequence":"additional","affiliation":[]},{"given":"Mark","family":"van den Brand","sequence":"additional","affiliation":[]},{"given":"James R.","family":"Cordy","sequence":"additional","affiliation":[]},{"given":"Steven","family":"Eker","sequence":"additional","affiliation":[]},{"given":"Luc","family":"Engelen","sequence":"additional","affiliation":[]},{"given":"Maartje","family":"de Jonge","sequence":"additional","affiliation":[]},{"given":"Karl Trygve","family":"Kalleberg","sequence":"additional","affiliation":[]},{"given":"Lennart C. L.","family":"Kats","sequence":"additional","affiliation":[]},{"given":"Pierre-Etienne","family":"Moreau","sequence":"additional","affiliation":[]},{"given":"Eelco","family":"Visser","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","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)"},{"issue":"1-2","key":"16_CR2","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.scico.2007.11.003","volume":"72","author":"M. Bravenboer","year":"2008","unstructured":"Bravenboer, M., Kalleberg, K.T., Vermaas, R., Visser, E.: Stratego\/XT 0.17. A language and toolset for program transformation. Science of Computer Programming\u00a072(1-2), 52\u201370 (2008)","journal-title":"Science of Computer Programming"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/978-3-642-02348-4_27","volume-title":"Rewriting Techniques and Applications","author":"M. Clavel","year":"2009","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Escobar, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.L.: Unification and narrowing in Maude 2.4. In: Treinen, R. (ed.) RTA 2009. LNCS, vol.\u00a05595, pp. 380\u2013390. Springer, Heidelberg (2009)"},{"key":"16_CR4","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":"16_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)"},{"issue":"3","key":"16_CR6","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1016\/j.scico.2006.04.002","volume":"61","author":"J.R. Cordy","year":"2006","unstructured":"Cordy, J.R.: The TXL source transformation language. Science of Computer Programming\u00a061(3), 190\u2013210 (2006)","journal-title":"Science of Computer Programming"},{"issue":"1","key":"16_CR7","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0096-0551(91)90019-6","volume":"16","author":"J.R. Cordy","year":"1991","unstructured":"Cordy, J.R., Halpern, C., Promislow, E.: TXL: A rapid prototyping system for programming language dialects. Computer Languages\u00a016(1), 97\u2013107 (1991)","journal-title":"Computer Languages"},{"issue":"4","key":"16_CR8","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1023\/A:1025801405075","volume":"10","author":"T.R. Dean","year":"2003","unstructured":"Dean, T.R., Cordy, J.R., Malton, A.J., Schneider, K.A.: Agile parsing in TXL. Automated Software Engineering\u00a010(4), 311\u2013336 (2003)","journal-title":"Automated Software Engineering"},{"volume-title":"6th Intl. Workshop on Rewriting Logic and its Applications","year":"2007","key":"16_CR9","unstructured":"Denker, G., Talcott, C. (eds.): 6th Intl. Workshop on Rewriting Logic and its Applications, vol.\u00a0176. Elsevier, Amsterdam (2007)"},{"issue":"4","key":"16_CR10","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/j.entcs.2007.06.018","volume":"176","author":"G. Denker","year":"2007","unstructured":"Denker, G., Talcott, C., Ro\u015fu, G., van den Brand, M., Eker, S., \u015eerb\u0103nu\u0163\u0103, T.F.: Rewriting logic systems. Electronic Notes in Theoretical Computer Science\u00a0176(4), 233\u2013247 (2007)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"16_CR11","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"281","volume-title":"Procs. 7th Intl. Workshop on Rewriting Logic and its Applications (WRLA 2008)","author":"F. Dur\u00e1n","year":"2008","unstructured":"Dur\u00e1n, F., Rold\u00e1n, M., Balland, E., van den Brand, M., Eker, S., Kalleberg, K.T., Kats, L.C.L., Moreau, P.-E., Schevchenko, R., Visser, E.: The second rewrite engines competition. In: Ro\u015fu, G. (ed.) Procs. 7th Intl. Workshop on Rewriting Logic and its Applications (WRLA 2008). Electronic Notes in Theoretical Computer Science, vol.\u00a0238, pp. 281\u2013291. Elsevier, Amsterdam (2008)"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Klint, P., van der Storm, T., Vinju, J.: RASCAL: a domain specific language for source code analysis and manipulation. In: 9th IEEE Intl. Working Conf. on Source Code Analysis and Manipulation, pp. 168\u2013177 (2009)","DOI":"10.1109\/SCAM.2009.28"},{"key":"16_CR13","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Procs. 7th Intl. Workshop on Rewriting Logic and its Applications (WRLA 2008)","year":"2008","unstructured":"Ro\u015fu, G. (ed.): Procs. 7th Intl. Workshop on Rewriting Logic and its Applications (WRLA 2008). Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam (2008)"},{"issue":"1-3","key":"16_CR14","first-page":"95","volume":"72","author":"R. Shevchenko","year":"2006","unstructured":"Shevchenko, R., Doroshenko, A.: A rewriting framework for rule-based programming dynamic applications. Fundamenta Informaticae\u00a072(1-3), 95\u2013108 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"16_CR15","unstructured":"Sloane, A.: Experiences with domain-specific language embedding in Scala. In: Lawall, J., Reveillere, L. (eds.) Procs. of the 2nd Intl. Workshop on Domain-Specific Program Development (2008)"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Tomita, M.: LR parsers for natural languages. In: Procs. of the 10th Intl. Conf. on Computational Linguistics and 22nd Annual Meeting of Assoc. for Computational Linguistics (ACL-22), pp. 354\u2013357. Assoc. for Computational Linguistics (1984)","DOI":"10.3115\/980491.980564"},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/11877028_9","volume-title":"Generative and Transformational Techniques in Software Engineering","author":"M. Brand van den","year":"2006","unstructured":"van den Brand, M.: Applications of the ASF+SDF meta-environment. In: L\u00e4mmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2005. LNCS, vol.\u00a04143, pp. 278\u2013296. Springer, Heidelberg (2006)"},{"issue":"3","key":"16_CR18","first-page":"259","volume":"30","author":"M.G.J. Brand van den","year":"2000","unstructured":"van den Brand, M.G.J., de Jong, H.A., Klint, P., Olivier, P.A.: Efficient annotated terms. Software: Practice and Experience\u00a030(3), 259\u2013291 (2000)","journal-title":"Software: Practice and Experience"},{"issue":"4","key":"16_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 Transactions on Programming Languages and Systems\u00a024(4), 334\u2013368 (2002)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR20","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.G.J. Brand van den","year":"2001","unstructured":"van den Brand, M.G.J., van Deursen, A., Heering, J., Jong, H., Jonge, M., Kuipers, T., Klint, P., Moonen, L., Olivier, P., Scheerder, J., Vinju, 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":"16_CR21","doi-asserted-by":"publisher","DOI":"10.1142\/3163","volume-title":"Language Prototyping: An Algebraic Specification Approach","author":"A. Deursen van","year":"1996","unstructured":"van Deursen, A., Heering, J., Klint, P.: Language Prototyping: An Algebraic Specification Approach. World Scientific, Singapore (1996)"},{"key":"16_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/3-540-45127-7_27","volume-title":"Rewriting Techniques and Applications","author":"E. Visser","year":"2001","unstructured":"Visser, E.: Stratego: A language for program transformation based on rewriting strategies. In: Middeldorp, A. (ed.) RTA 2001. LNCS, vol.\u00a02051, pp. 357\u2013361. Springer, Heidelberg (2001)"}],"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-16310-4_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T05:02:52Z","timestamp":1559710972000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16310-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642163098","9783642163104"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16310-4_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}