RewritingStrategies are little programs that define the position and order of application of RewriteRules. Rules are identified by means of labels. Typical strategy combinators are choice and sequential composition and operators for TermTraversal?.

RewritingStrategies were first introduced in ELAN (inspired by RewritingLogic? and TheoremProvingTactics?). The StrategoLanguage takes an extreme view of strategies by implementing RewriteRules as a combination of primitive strategies for PatternMatching and PatternInstantiation?.

Revision: r1.1 - 09 May 2001 - 21:56 - EelcoVisser
Transform > 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