Program Optimization

Program-Transformation.Org: The Program Transformation Wiki
ProgramOptimization is a kind of ProgramTransformation aimed at improving the time or memory performance of a program. CompilationByTransformation makes heavy use of optimizations implemented as small transformations.

Here is a list of common optimizations. Feel free to add missing ones.

(a) Static optimizations (appropriate to a StaticTranslator)

  • FiniteDifferencing?
  • FunctionInlining?

  • RecursionRemoval?
  • RegisterAllocation?

  • StrengthReduction?

(b) Dynamic optimizations (appropriate to a DynamicTranslator)

See also the MLRISC project at, which provides a customizable optimizing back-end written in StandardML? -- ArieVanDeursen.

CategoryTransformation, CategoryOptimization | Contributions by EelcoVisser