Tiger Optimize

Tiger in Stratego -- Compilation by Program Transformation
TigerOptimize is a component of the TigerCompiler in the TigerOpt package. The component applies various ProgramOptimizations at the level of TigerAbstractSyntax expressions.

Examples of optimizations that can be applied:

  • ConstantFolding?
  • ConstantPropagation?
  • DeadCodeElimination?

As distributed the implementation of the component defines the identity transformation.

DynamicRules are very useful for implementing source to source transformations.