Abstract
Rewrite rules provide a good formalism for the formalization
of transformation steps. However, term rewriting based on
exhaustive normalization of a subject term with respect to the
entire set of rewrite rules turns out not to be adequate for
program transformation. In this chapter the problems
associated with term rewriting are explored, and several
proposed solutions are examined.
Preprint