Home

  • Documentation
  • Language
  • Research Papers
  • Applications

Download

  • Continuous build
  • Extensions

Support

  • Mailing lists
  • IRC
  • Users Days
  • Bug Reports

Developers

  • Subversion
  • Buildfarm results

Page

  • Edit Page
  • Rename Page
  • Attach File
  • Printable
  • Wiki Source
  • Rev 7 (diff 6)
  • Rev 6 (diff 5)
  • Rev 5 (diff 4)
  • Total History
  • More ...

Web

  • Recent Changes
  • Notify Service
  • News
  • Page Index
  • Search
  • More ...

Wiki

  • About TWiki
  • Text Formatting
  • Registration
  • Change Password
  • Reset Password
  • Users
  • Groups

Stratego Optimizer

Stratego -- Strategies for Program Transformation
The Stratego Optimizer consists of a number of source-to-source transformation components that are called by the StrategoCompiler.

Optimizations that are already implemented

  • Stratego simplifier
  • Innermost fusion
  • Pattern match compilation
  • Strategy inlining
  • Dead definition elimination
  • Constant and copy propagation
  • Bound unbound variable analysis
  • Dead variable elimination
  • Avoid run time checks on variables
  • Build match fusion
  • Lift definitions to top level
  • Worker wrapper splitting

Ideas for new optimizations

  • Common subexpression elimination
  • Effects analysis


CategoryCompiler