{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T03:04:55Z","timestamp":1767236695428},"publisher-location":"Berlin, Heidelberg","reference-count":17,"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_5","type":"book-chapter","created":{"date-parts":[[2007,8,13]],"date-time":"2007-08-13T16:49:53Z","timestamp":1187023793000},"page":"36-47","source":"Crossref","is-referenced-by-count":59,"title":["Tom: Piggybacking Rewriting on Java"],"prefix":"10.1007","author":[{"given":"Emilie","family":"Balland","sequence":"first","affiliation":[]},{"given":"Paul","family":"Brauner","sequence":"additional","affiliation":[]},{"given":"Radu","family":"Kopetz","sequence":"additional","affiliation":[]},{"given":"Pierre-Etienne","family":"Moreau","sequence":"additional","affiliation":[]},{"given":"Antoine","family":"Reilles","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/11784180_7","volume-title":"Algebraic Methodology and Software Technology","author":"E. Balland","year":"2006","unstructured":"Balland, E., Kirchner, C., Moreau, P.-E.: Formal islands. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol.\u00a04019, pp. 51\u201365. Springer, Heidelberg (2006)"},{"key":"5_CR2","series-title":"ENTCS","volume-title":"Proceedings of WRLA 1996","author":"P. Borovansk\u00fd","year":"1996","unstructured":"Borovansk\u00fd, P., Kirchner, C., Kirchner, H.: Controlling rewriting by rewriting. In: Meseguer, J. (ed.) Proceedings of WRLA 1996. ENTCS, vol.\u00a04, Elsevier Science Publishers, North-Holland, Amsterdam (1996)"},{"key":"5_CR3","series-title":"ENTCS","volume-title":"Proceedings of WRLA 1998","author":"P. Borovansk\u00fd","year":"1998","unstructured":"Borovansk\u00fd, P., Kirchner, C., Kirchner, H., Moreau, P.-E., Ringeissen, C.: An overview of ELAN. In: Kirchner, C., Kirchner, H. (eds.) Proceedings of WRLA 1998. ENTCS, vol.\u00a015, Elsevier Science Publishers, Amsterdam (1998)"},{"key":"5_CR4","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","year":"2001","unstructured":"Brand, M., 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 and ETAPS 2001. LNCS, vol.\u00a02027, pp. 365\u2013370. Springer, Heidelberg (2001)"},{"key":"5_CR5","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1007\/978-3-540-49051-7_14","volume":"1575","author":"M. Brand","year":"1999","unstructured":"Brand, M., Klint, P., Olivier, P.: Compilation and Memory Management for ASF+SDF. Compiler Construction\u00a01575, 198\u2013213 (1999)","journal-title":"Compiler Construction"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Brauner, P., Houtmann, C., Kirchner, C.: Principles of superdeduction. In: LICS, (to appear, 2007)","DOI":"10.1109\/LICS.2007.37"},{"issue":"3","key":"5_CR7","first-page":"427","volume":"9","author":"H. Cirstea","year":"2001","unstructured":"Cirstea, H., Kirchner, C.: The rewriting calculus \u2014 Part\u00a0I and II. Logic Journal of the Interest Group in Pure. and Applied Logics\u00a09(3), 427\u2013498 (2001)","journal-title":"Logic Journal of the Interest Group in Pure and Applied Logics"},{"key":"5_CR8","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":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1007\/978-3-540-71316-6_9","volume-title":"Proceedings of the 16th European Symposium on Programming","author":"C. Kirchner","year":"2007","unstructured":"Kirchner, C., Kopetz, R., Moreau, P.: Anti-pattern matching. In: Proceedings of the 16th European Symposium on Programming. LNCS, vol.\u00a04421, pp. 110\u2013124. Springer, Heidelberg (2007)"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1145\/1069774.1069792","volume-title":"Proceedings of PPDP 2005","author":"C. Kirchner","year":"2005","unstructured":"Kirchner, C., Moreau, P.-E., Reilles, A.: Formal validation of pattern matching code. In: Barahone, P., Felty, A. (eds.) Proceedings of PPDP 2005, pp. 187\u2013197. ACM Press, New York (2005)"},{"key":"5_CR11","unstructured":"Leroy, X.: The objective caml system release 3.09, \n                  \n                    http:\/\/caml.inria.fr\/"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","first-page":"61","volume-title":"Compiler Construction","author":"P.-E. Moreau","year":"2003","unstructured":"Moreau, P.-E., Ringeissen, C., Vittek, M.: A Pattern Matching Compiler for Multiple Target Languages. In: Hedin, G. (ed.) CC 2003 and ETAPS 2003. LNCS, vol.\u00a02622, pp. 61\u201376. Springer, Heidelberg (2003)"},{"key":"5_CR13","unstructured":"Reilles, A.: Canonical abstract syntax trees. In: Proceedings of WRLA 2006 ENTCS 2006 (to appear)"},{"issue":"3","key":"5_CR14","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y","volume":"30","author":"M. Brand van den","year":"2000","unstructured":"van den Brand, M., de Jong, H., Klint, P., Olivier, P.: Efficient annotated terms. Software, Practice and Experience\u00a030(3), 259\u2013291 (2000)","journal-title":"Software, Practice and Experience"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"van den Brand, M., Moreau, P.-E., Vinju, J.: A generator of efficient strongly typed abstract syntax trees in Java. In: IEE Proceedings - Software Engineering, vol. 152(2) pp. 70\u201378 (December 2005)","DOI":"10.1049\/ip-sen:20041181"},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/289423.289425","volume-title":"Proceedings of the third ACM SIGPLAN international conference on Functional programming","author":"E. Visser","year":"1998","unstructured":"Visser, E., Benaissa, Z.-e.-A., Tolmach, A.: Building program optimizers with rewriting strategies. In: Proceedings of the third ACM SIGPLAN international conference on Functional programming, pp. 13\u201326. ACM Press, New York, USA (1998)"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1145\/504282.504302","volume-title":"Proceedings of the 16th ACM SIGPLAN conference on OOPSLA","author":"J. Visser","year":"2001","unstructured":"Visser, J.: Visitor combination and traversal control. In: Proceedings of the 16th ACM SIGPLAN conference on OOPSLA, pp. 270\u2013282. ACM Press, NY, USA (2001)"}],"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_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:12:37Z","timestamp":1619518357000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73449-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540734475","9783540734499"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73449-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}