A rewriting strategy is an algorithm for transforming a term with respect to a set of rewrite rules. Some rewriting strategies are NormalizingStrategies?, 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.

-- EelcoVisser - 08 Jan 2002


CategoryGlossary

Revision: r1.3 - 08 Jan 2002 - 14:29 - EelcoVisser
Stratego > StrategoGlossary > RewritingStrategy
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