{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:46:33Z","timestamp":1782866793592,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540421177","type":"print"},{"value":"9783540451273","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45127-7_27","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:25:25Z","timestamp":1184603125000},"page":"357-361","source":"Crossref","is-referenced-by-count":118,"title":["Stratego: A Language for Program Transformation Based on Rewriting Strategies System Description of Stratego 0.5"],"prefix":"10.1007","author":[{"given":"Eelco","family":"Visser","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2001,5,8]]},"reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"A. W. Appel. Modern Compiler Implementation in ML. Cambridge University Press, 1998.","DOI":"10.1017\/CBO9780511811449"},{"key":"27_CR2","unstructured":"O. S. Bagge, M. Haveraaen, and E. Visser. CodeBoost: A framework for the transformation of C++ programs. Technical report, Universiteit Utrecht, 2000."},{"key":"27_CR3","doi-asserted-by":"crossref","unstructured":"P. Borovansk\u00fd, C. Kirchner, H. Kirchner, P.-E. Moreau, and M. Vittek. Elan: A logical framework based on computational systems. In J. Meseguer, editor, ENTCS, volume 4, 1996. Workshop on Rewriting Logic and Applications 1996.","DOI":"10.1016\/S1571-0661(04)00032-5"},{"key":"27_CR4","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. G. J. Brand van den","year":"2000","unstructured":"M. G. J. van den Brand, H. A. de Jong, P. Klint, and P. A. Olivier. Efficient annotated terms. Software\u2014Practice & Experience, 30:259\u2013291, 2000.","journal-title":"Software\u2014Practice & Experience"},{"key":"27_CR5","unstructured":"M. Clavel and J. Meseguer. Reflection and strategies in rewriting logic. In J. Meseguer, editor, ENTCS, volume 4, 1996. Workshop on Rewriting Logic and its Applications 1996."},{"key":"27_CR6","unstructured":"M. de Jonge, E. Visser, and J. Visser. XT: A bundle of program transformation tools. In ENTCS, 2001. Language Descriptions, Tools and Applications 2001."},{"key":"27_CR7","series-title":"AMAST Series in Computing","volume-title":"Language Prototyping","year":"1996","unstructured":"A. Van Deursen, J. Heering, and P. Klint, editors. Language Prototyping, volume 5 of AMAST Series in Computing. World Scientific, Singapore, 1996."},{"key":"27_CR8","unstructured":"P. Johann and E. Visser. Warm fusion in Stratego: A case study in the generation of program transformation systems. Annals of Mathematics and Artificial Intelligence. (To appear)."},{"key":"27_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1007\/3-540-48685-2_3","volume-title":"Rewriting Techniques and Applications (RTA\u201999)","author":"E. Visser","year":"1999","unstructured":"E. Visser. Strategic pattern matching. In P. Narendran and M. Rusinowitch, editors, Rewriting Techniques and Applications (RTA\u201999), volume 1631 of Lecture Notes in Computer Science, pages 30\u201344, Trento, Italy, July 1999. Springer-Verlag."},{"key":"27_CR10","volume-title":"The Stratego Library","author":"E. Visser","year":"1999","unstructured":"E. Visser. The Stratego Library. Institute of Information and Computing Sciences, Universiteit Utrecht, Utrecht, The Netherlands, 1999."},{"key":"27_CR11","unstructured":"E. Visser. Language independent traversals for program transformation. In J. Jeuring, editor, Workshop on Generic Programming (WGP2000), Ponte de Lima, Portugal, July 6, 2000. Technical Report UU-CS-2000-19, Universiteit Utrecht."},{"key":"27_CR12","unstructured":"E. Visser. Tiger in Stratego: An exercise in compilation by transformation. http:\/\/www.stratego-language.org\/tiger\/ , 2000."},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"E. Visser and Z.-e.-A. Benaissa. A core language for rewriting. In C. Kirchner and H. Kirchner, editors, ENTCS, volume 15, September 1998. Rewriting Logic and its Applications 1998.","DOI":"10.1016\/S1571-0661(05)80027-1"},{"issue":"1","key":"27_CR14","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/291251.289425","volume":"34","author":"E. Visser","year":"1999","unstructured":"E. Visser, Z.-e.-A. Benaissa, and A. Tolmach. Building program optimizers with rewriting strategies. ACM SIGPLAN Notices, 34(1):13\u201326, January 1999. Proceedings of the International Conference on Functional Programming (ICFP\u201998).","journal-title":"ACM SIGPLAN Notices"},{"key":"27_CR15","unstructured":"E. Visser et al. The online survey of program transformation. http:\/\/www.program-transformation.org\/survey.html ."}],"container-title":["Lecture Notes in Computer Science","Rewriting Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45127-7_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,25]],"date-time":"2020-04-25T01:49:55Z","timestamp":1587779395000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45127-7_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540421177","9783540451273"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45127-7_27","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}