When the current subject term is known for a match action, the bindings it induces can be propagated to the uses of the variables in the pattern. This is a data-flow optimization under development for StrategoRelease093.

-- EelcoVisser - 19 Jul 2003

CategoryCompiler

Revision: r1.1 - 19 Jul 2003 - 08:10 - EelcoVisser
Stratego > ReleasePlan > ReleasePlan > ConstantAndCopyPropagation
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