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