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