article · ACM SIGPLAN Notices · 1975

Program optimization - theory and practice

Cited by 14Open access

Abstract

The conventional program optimization techniques employed by the ILLIAC FORTRAN compiler are general purpose, effective, and efficient. The underlying theory is applicable to FORTRAN and to other high level languages. A unique approach to the gathering of global set and use information about variables as well as careful software engineering of the algorithms has led to the construction of an effective source-to-source optimizer which performs constant propagation, constant computation, common subexpression elimination, reduction in strength, and invariant code motion. We will first consider the type of information which must be gathered about a program, and how this information is used to perform optimization. Then we shall state the algorithm for globally computing the set and use information for program variables. Having discussed the science of optimization we shall turn to the engineering aspects and consider such topics as representation of programs, order of optimization transformations, and efficient computation of global use and set information.

Cite this paper

APA 7

Loveman, D. B., & Faneuf, R. A. (1975). Program optimization - theory and practice. ACM SIGPLAN Notices, 10(3), 97–102. https://doi.org/10.1145/390015.808407

MLA 9

Loveman, David B., and Ross A. Faneuf. “Program optimization - theory and practice.” ACM SIGPLAN Notices, vol. 10, no. 3, 1975, pp. 97–102, https://doi.org/10.1145/390015.808407.

Chicago

Loveman, David B., and Ross A. Faneuf. 1975. “Program optimization - theory and practice.” ACM SIGPLAN Notices 10 (3): 97–102. https://doi.org/10.1145/390015.808407.

Harvard

Loveman, D.B. and Faneuf, R.A. (1975) ‘Program optimization - theory and practice’, ACM SIGPLAN Notices, 10(3), pp. 97–102. Available at: https://doi.org/10.1145/390015.808407.

BibTeX

@article{loveman1975program,
  title = {{Program optimization - theory and practice}},
  author = {Loveman, David B. and Faneuf, Ross A.},
  journal = {ACM SIGPLAN Notices},
  volume = {10},
  number = {3},
  pages = {97--102},
  year = {1975},
  doi = {10.1145/390015.808407}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.