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:

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

DynamicRules are very useful for implementing source to source transformations.