Stratego: A language for program transformation based on rewriting strategies system description of Stratego 0.5

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2051 LNCS, Issue , 2001, Pages 357-361

  Visser, Eelco ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84888256882     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45127-7_27     Document Type: Conference Paper

References (15)

1. A. W. Appel. Modern Compiler Implementation in ML. Cambridge University Press, 998.
2. O. S. Bagge, M. Haveraaen, and E. Visser. CodeBoost: A framework for the transformation of C++ programs. Technical report, Universiteit Utrecht, 2000.
3. P. Borovanský, 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.
4. M. G. J. van den Brand, H. A. de Jong, P. Klint, and P. A. Olivier. Efficient annotated terms. Software-Practice & Experience, 30:259-291, 2000.
5. 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.
6. M. de Jonge, E. Visser, and J. Visser. XT: A bundle of program transformation tools. In ENTCS, 2001. Language Descriptions, Tools and Applications 2001.
7. A. Van Deursen, J. Heering, and P. Klint, editors. Language Prototyping, volume 5 of AMAST Series in Computing. World Scientific, Singapore, 1996.
8. 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).
9. E. Visser. Strategic pattern matching. In P. Narendran and M. Rusinowitch, editors, Rewriting Techniques and Applications (RTA'99), volume 1631 of Lecture Notes in Computer Science, pages 30-44, Trento, Italy, July 1999. Springer-Verlag.
10. E. Visser. The Stratego Library. Institute of Information and Computing Sciences, Universiteit Utrecht, Utrecht, The Netherlands, 1999.
11. 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.
12. E. Visser. Tiger in Stratego: An exercise in compilation by transformation. http://www.stratego-language.org/tiger/, 2000.
13. 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.
14. E. Visser, Z.-e.-A. Benaissa, and A. Tolmach. Building program optimizers with rewriting strategies. ACM SIGPLAN Notices, 34(1):13-26, January 1999. Proceedings of the International Conference on Functional Programming (ICFP'98).
15. E. Visser et al. The online survey of program transformation. http://www.program-transformation.org/survey.html.