Stratego Simplifier
Stratego -- Strategies for Program Transformation
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
Rules
-- EelcoVisser - 18 Aug 2003