[ Previous | Up | Next ]


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.


Revision: r1.2 - 14 Dec 2003 - 13:00 - EelcoVisser
Book > TableOfContents > ChapterInControlOfRewriting
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback