Abstract
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.
... read more