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)

CategoryTransformation, CategoryOptimization | Contributions by EelcoVisser