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

Revision: r1.12 - 28 Oct 2002 - 15:05 - EelcoVisser
Transform > ProgramOptimization
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback