Lambda the Ultimate

inactiveTopic A Survey Of Rewriting Strategies
started 3/4/2003; 6:43:21 AM - last post 3/4/2003; 6:43:21 AM
Ehud Lamm - A Survey Of Rewriting Strategies  blueArrow
3/4/2003; 6:43:21 AM (reads: 1292, responses: 0)
A Survey Of Rewriting Strategies
Eelco Visser. A Survey of Rewriting Strategies in Program Transformation Systems. Draft. February 23, 2003 (Submitted for publication)

Program transformation is used in a wide range of applications including compiler construction, optimization, program synthesis, refactoring, software renovation, and reverse engineering. In the realization of a program transformation system for a certain type of transformation, design choices must be made regarding the representation of programs and the paradigm for implementation of transformations. This paper gives a taxonomy of the application areas of program transformation, discusses considerations to be made in the implementation of program transformation systems, especially focussing on the specification of transformation strategies.

A nice taxonomy of program transformations is presented, as well as a set of program transformation paradigms (e.g., simple tree parsing, term rewriting, rewriting with traversal functions).

Posted to general by Ehud Lamm on 3/4/03; 6:48:54 AM