The Stratego simplifier is applied at several times by the
Stratego optimizer
. The simplifier reduces strategy expressions by means of a large number of simple rewrite rules using innermost rewriting.
Simplifier
simplify1
Rules
stratego-laws
idfail-laws
congruence-laws
build-match-laws
traversal-laws
bind-laws
scope-laws
--
EelcoVisser
- 18 Aug 2003
Revision: r1.1 - 18 Aug 2003 - 20:01 -
EelcoVisser
Stratego
>
StrategoCompiler
>
StrategoOptimizer
>
StrategoSimplifier
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