Term rewriting with type-safe traversal functions

Electronic Notes in Theoretical Computer Science

Volumn 70, Issue 6, 2002, Pages 100-117

  Van Den Brand, M G J ^a   Klint, P ^a   Vinju, J J ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; AUTOMATION; COMPUTATIONAL COMPLEXITY; COMPUTER SOFTWARE; FUNCTIONS; SEMANTICS; TREES (MATHEMATICS);

AUTOMATIC TREE TRAVERSAL; PROGRAM ANALYSIS; TERM REWRITING; TRAVERSAL FUNCTIONS;

OBJECT ORIENTED PROGRAMMING;

EID: 18944388843     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80602-9     Document Type: Conference Paper

References (18)

1. Bergstra J.A., Heering J., Klint P. Algebraic Specification. 1989;ACM Press/Addison-Wesley
2. Borovanský P., Kirchner C., Kirchner H., Moreau P.-E., Ringeissen C. An overview of ELAN. Kirchner Claude, Hélène Kirchner. International Workshop on Rewriting Logic and its Applications, volume 15 of Electronic Notes in Theoretical Computer Science. 1998;Elsevier
3. van den Brand M.G.J., van Deursen A., Klint P., Klusener S., van der Meulen E.A. Industrial applications of ASF+SDF. Wirsing M., Nivat M. Algebraic Methodology and Software Technology (AMAST '96), volume 1101 of LNCS. 1996;9-18 Springer-Verlag
4. 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.
5. van den Brand M.G.J., Klint P., Verhoef C. Core technologies for system renovation. Jeffery K.G., Král J., Bartošek M. SOFSEM'96: Theory and Practice of Informatics, volume 1175 of LNCS. 1996;235-255 Springer-Verlag
6. van den Brand M.G.J., Klint P., Verhoef C. Term rewriting for sale. Kirchner C., Kirchner H. Second International Workshop on Rewriting Logic and its Applications, WRLA 98. 1998
7. 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.
8. van den Brand M.G.J., Sellink M.P.A., Verhoef C. Generation of components for software renovation factories from context-free grammars. Science of Computer Programming. 36:2000;209-266
9. van Deursen A., Heering J., Klint P. Language Prototyping: An Algebraic Specification Approach, volume 5 of AMAST Series in Computing. 1996;World Scientific
10. Heering J., Hendriks P.R.H., Klint P., Rekers J. The syntax definition formalism SDF - reference manual. SIGPLAN Notices. 24:(11):1989;43-75
11. Klop J.W. Term rewriting systems. Gabbay D., Abramski S., Maibaum T. Handbook of Logic and Computer Science, volume 1. 1992;Oxford University Press
12. Kuipers T., Visser J. Object-oriented tree traversal with jjforester. van den Brand Mark, Parigot Didier. Electronic Notes in Theoretical Computer Science, volume 44. 2001;Elsevier Science Publishers
13. γ. Technical Report SEN-R0122, CWI, August 2001.
14. R. Lämmel 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.
15. 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.
16. Visser E. Stratego: A Language for Program Transformation based on Rewriting Strategies. System Description of Stratego 0.5. Middeldorp A. Rewriting Techniques and Applications (RTA'01). Lecture Notes in Computer Science :May 2001;Springer-Verlag
17. Visser E., Benaissa Zine-el-Abidine, Tolmach A. Building program optimizers with rewriting strategies. ACM SIGPLAN Notices. 34:(1):January 1999;13-26. Proceedings of the International Conference on Functional Programming (ICFP'98)
18. H. Zaadnoordijk. Source code transformations using the new ASF+SDF meta-environment. Master's thesis, University of Amsterdam, Programming Research Group, 2001.