A rewriting strategy is an algorithm for transforming a term with respect to a set of [[rewrite rules]]. Some rewriting strategies are normalizing strategies, i.e., rewrite a term into [[normal form]]. A term is in normal form if no rule applies anywhere within the term. Examples of strategies are innermost and outermost.

The rewriting strategy is usually built-in to the rewriting engine. In Stratego the rewriting strategy is a user-definable entity with the purpose of providing more control over the selection of rules and the order of normalization.


-- Main.EelcoVisser - 08 Jan 2002 

-----
CategoryGlossary