Abstract

Introduction Program transformation is used in many areas of software engineering. Examples include compilation, optimization, synthesis, refactoring, migration, normalization and improvement [15]. Rewrite rules are a natural formalism for expressing single program transformations. However, using a standard strategy for normalizing a program with a set of rewrite rules is not adequate for implementing program transformation systems. It may be necessary to apply a rule only in some phase of a transformation, to apply rules in some order, or to apply a rule only to part of a program. These restrictions may be necessary to avoid non-termination or to choose a specific path in a non-confluent rewrite system. Stratego is a language for the specification of program transformation systems based on the paradigm of rewriting strategies. It supports the separation of strategies from transformation rules, thus allowing careful control over the application of these rules. As a result of this sepa

Citations

118	Modern Compiler Implementation in ML - Appel - 1998
93	Efficient Annotated Terms - Brand, Jong, et al.
81	Elan: A logical framework based on computational systems - Borovansk´y, Kirchner, et al. - 1996
59	Reflection and strategies in rewriting logic - Clavel, Meseguer - 1996
40	XT: A bundle of program transformation tools - Jonge, Visser, et al. - 2001
33	Strategic pattern matching - Visser
22	Warm fusion in Stratego: A case study in the generation of program transformation systems - Johann, Visser
16	CodeBoost: A framework for the transformation of C++ programs - Bagge, Haveraaen, et al. - 2000
13	P.: Efficient annotated terms. Software-Practice and Experience 30 - Brand, Jong, et al. - 2000
5	et al. The online survey of program transformation. http://www. program-transformation.org/survey.html - Visser
4	Tiger in Stratego: An exercise in compilation by transformation. http: //www.stratego-language.org/tiger - Visser - 2000