A unified approach to global program optimization

  title={A unified approach to global program optimization},
  author={G. Kildall},
  booktitle={POPL '73},
  • G. Kildall
  • Published in POPL '73 1973
  • Computer Science
A technique is presented for global analysis of program structure in order to perform compile time optimization of object code generated for expressions. [...] Key Method A general purpose program flow analysis algorithm is developed which depends upon the existence of an "optimizing function." The algorithm is defined formally using a directed graph model of program flow structure, and is shown to be correct.Expand
924 Citations
Interprocedural constant propagation
  • 50
  • PDF
Efficient Symbolic Analysis of Programs
  • 24
Predicting the effects of optimization on a procedure body
  • 42
Use-Definition Chains with Applications
  • 25
Efficient call graph analysis
  • 80
Computation and use of data flow information in optimizing compilers
  • 7
Incremental whole program optimization and compilation
  • 3