[ [[ChapterProgramTransformationWithConcreteObjectSyntax][Previous]] | [[Part III][Up]] | [[ChapterComposingStrategies][Next]] ] -----+++ Introduction 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 * [[http://www.cs.uu.nl/~visser/book/Chapter-7.pdf][Chapter-7.pdf]]