Interprocedural analysis and the information derived by it

  • F. E. Allen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 23)


Well structured programs are usually expressed as a system of functionally oriented procedures. By analyzing and transforming an entire system of procedures, linkages can be modified or eliminated and interprocedural data dependencies documented to the user. This paper presents some of the methods being developed to effect such interprocedural analysis and transformations.


Control Flow Data Flow Data Item Basic Block Program Optimization 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. [1]
    F. E. Allen, "Interprocedural Data Flow Analysis", Proceedings IFIP Conference 1974, North Holland Publishing Company, Amsterdam, 1974 (also as IBM Research Report RC4633, T. J. Watson Research Center, Yorktown Heights, N.Y., November, 1973).Google Scholar
  2. [2]
    F. E. Allen, "A Basis for Program Optimization", Proceedings IFIP Conference 1971, North Holland Publishing Company, Amsterdam, 1971.Google Scholar
  3. [3]
    F. E. Allen, "A Method for Determining Program Data Relationships", International Symposium on Theoretical Programming, Edited by Andrei Ershov and Valery A. Nepomniaschy, Lecture Notes in Computer Science, Vol. 5, Springer-Verlag, pp. 299–308, 1974.Google Scholar
  4. [4]
    F. E. Allen, "Control Flow Analysis", Proceedings of a Symposium on Compiler Optimization, SIGPLAN Notices, July, 1970.Google Scholar
  5. [5]
    Matthew S. Hecht and Jeffrey D. Ullman, "Analysis of a Simple Algorithm for Global Flow Problems", Conference Record of ACM Symposium on Principles of Programming Languages, Boston, Mass., October, 1973Google Scholar
  6. [6]
    K. Kennedy, "A Global Flow Analysis Algorithm", International Journal of Computer Math., Vol. 3, pp. 5–15, December, 1971.Google Scholar
  7. [7]
    Gary A. Kildall, "A Unified Approach to Global Program Optimization, Conference Record of ACM Symposium on Principles of Programming Languages, Boston, Mass., pp. 194–206, October, 1973.Google Scholar
  8. [8]
    Barry K. Rosen, "Data Flow Analysis for Recursive PL/I Programs" (In preparation).Google Scholar
  9. [9]
    J. Schwartz, "Inter-Procedural Optimization", SETL Newsletter #134, Courant Institute of Mathematical Sciences, New York University, 251 Mercer Street, N.Y., N.Y., July 1, 1974.Google Scholar
  10. [10]
    Thomas C. Spillman, "Exposing Side-Effects in a PL/I Optimizing Compiler", Proceedings of IFIP Congress 1971, North Holland Publishing Company, Amsterdam, 1971.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • F. E. Allen
    • 1
  1. 1.Computer Sciences DepartmentIBM T. J. Watson Research CenterYorktown HeightsUSA

Personalised recommendations