The strategy inlining component of the Stratego optimizer replaces calls to strategies with their body, allowing other optimizations to specialize the strategy to its arguments. In combination with worker wrapper splitting, inlining improves the result of pattern match compilation.

The current implementation (StrategoRelease093) applies rather crude heuristics for deciding which strategy definitions to inline. This should be improved based on benchmarks and inspection of intermediate code.

-- EelcoVisser - 17 Aug 2003

Revision: r1.1 - 17 Aug 2003 - 12:43 - EelcoVisser
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