Chapter In Control Of Rewriting

Strategies for Program Transformation

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