{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,4,29]],"date-time":"2023-04-29T12:13:34Z","timestamp":1682770414465},"reference-count":18,"publisher":"Elsevier BV","issue":"6","license":[{"start":{"date-parts":[[2002,12,1]],"date-time":"2002-12-01T00:00:00Z","timestamp":1038700800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3893,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,12]]},"DOI":"10.1016\/s1571-0661(04)80602-9","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"100-117","source":"Crossref","is-referenced-by-count":3,"title":["Term Rewriting with Type-safe Traversal Functions"],"prefix":"10.1016","volume":"70","author":[{"given":"M.G.J.","family":"van den Brand","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Klint","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.J.","family":"Vinju","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80602-9_NEWBIB1","series-title":"Algebraic Specification","year":"1989"},{"key":"10.1016\/S1571-0661(04)80602-9_NEWBIB2","series-title":"International Workshop on Rewriting Logic and its Applications, volume 15 of Electronic Notes in Theoretical Computer Science","article-title":"An overview of ELAN","author":"Borovansk\u00fd","year":"1998"},{"key":"10.1016\/S1571-0661(04)80602-9_NEWBIB3","series-title":"Algebraic Methodology and Software Technology (AMAST '96), volume 1101 of LNCS","first-page":"9","article-title":"Industrial applications of ASF+SDF","author":"van den Brand","year":"1996"},{"key":"10.1016\/S1571-0661(04)80602-9_NEWBIB4","doi-asserted-by":"crossref","unstructured":"M. G. J. van den Brand, J. Heering, P. Klint, and P. A. Olivier. Compiling language definitions: The ASF+SDF compiler. ACM Transactions on Programming Languages and Systems, 2002. To appear.","DOI":"10.1145\/567097.567099"},{"key":"10.1016\/S1571-0661(04)80602-9_NEWBIB5","series-title":"SOFSEM'96: Theory and Practice of Informatics, volume 1175 of LNCS","first-page":"235","article-title":"Core technologies for system renovation","author":"van den Brand","year":"1996"},{"key":"10.1016\/S1571-0661(04)80602-9_NEWBIB6","series-title":"Second International Workshop on Rewriting Logic and its Applications, WRLA 98","article-title":"Term rewriting for sale","author":"van den Brand","year":"1998"},{"key":"10.1016\/S1571-0661(04)80602-9_NEWBIB7","unstructured":"M. G. J. van den Brand, P. Klint, and J. J. Vinju. Term rewriting with traversal functions. Technical Report SEN-R0121, Centrum voor Wiskunde en Informatica, 2001."},{"key":"10.1016\/S1571-0661(04)80602-9_NEWBIB8","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/S0167-6423(99)00037-4","article-title":"Generation of components for software renovation factories from context-free grammars","volume":"36","author":"van den Brand","year":"2000","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S1571-0661(04)80602-9_NEWBIB9","series-title":"Language Prototyping: An Algebraic Specification Approach, volume 5 of AMAST Series in Computing","year":"1996"},{"issue":"11","key":"10.1016\/S1571-0661(04)80602-9_NEWBIB10","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/71605.71607","article-title":"The syntax definition formalism SDF - reference manual","volume":"24","author":"Heering","year":"1989","journal-title":"SIGPLAN Notices"},{"key":"10.1016\/S1571-0661(04)80602-9_NEWBIB11","series-title":"Handbook of Logic and Computer Science, volume 1","article-title":"Term rewriting systems","author":"Klop","year":"1992"},{"key":"10.1016\/S1571-0661(04)80602-9_NEWBIB12","series-title":"Electronic Notes in Theoretical Computer Science, volume 44","article-title":"Object-oriented tree traversal with jjforester","author":"Kuipers","year":"2001"},{"key":"10.1016\/S1571-0661(04)80602-9_NEWBIB13","unstructured":"R. L\u00e4mmel. Typed Generic Traversals in S'\u03b3. Technical Report SEN-R0122, CWI, August 2001."},{"key":"10.1016\/S1571-0661(04)80602-9_NEWBIB14","doi-asserted-by":"crossref","unstructured":"R. L\u00e4mmel and G. Wachsmuth. Transformation of SDF syntax definitions in the ASF+SDF Meta-Environment. In M. G. J. van den Brand and D. Parigot, editors, Proc. LDTA'01, volume 44-2 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 2001.","DOI":"10.1016\/S1571-0661(04)80918-6"},{"key":"10.1016\/S1571-0661(04)80602-9_NEWBIB15","doi-asserted-by":"crossref","unstructured":"A. Sellink, H. Sneed, and C. Verhoef. Restructuring of COBOL\/CICS legacy systems. In Proceedings of Conference on Maintenance and Reengineering (CSMR'99), Amsterdam, March 1999.","DOI":"10.1109\/CSMR.1999.756684"},{"key":"10.1016\/S1571-0661(04)80602-9_NEWBIB16","series-title":"Rewriting Techniques and Applications (RTA'01)","article-title":"Stratego: A Language for Program Transformation based on Rewriting Strategies. System Description of Stratego 0.5","author":"Visser","year":"2001"},{"issue":"1","key":"10.1016\/S1571-0661(04)80602-9_NEWBIB17","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1145\/291251.289425","article-title":"Building program optimizers with rewriting strategies","volume":"34","author":"Visser","year":"1999","journal-title":"ACM SIGPLAN Notices"},{"key":"10.1016\/S1571-0661(04)80602-9_NEWBIB18","unstructured":"H. Zaadnoordijk. Source code transformations using the new ASF+SDF meta-environment. Master's thesis, University of Amsterdam, Programming Research Group, 2001."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104806029?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104806029?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T10:54:12Z","timestamp":1549191252000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104806029"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12]]},"references-count":18,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2002,12]]}},"alternative-id":["S1571066104806029"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80602-9","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2002,12]]}}}