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?

  • LoopFusion?
  • LoopUnrolling?

  • RecursionRemoval?
  • RegisterAllocation?

  • StrengthReduction?

(b) Dynamic optimizations (appropriate to a DynamicTranslator)


See also the MLRISC project at http://cs1.cs.nyu.edu/leunga/www/MLRISC/Doc/html/, which provides a customizable optimizing back-end written in StandardML? -- ArieVanDeursen.


CategoryTransformation, CategoryOptimization | Contributions by EelcoVisser