Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
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).
F. E. Allen, "A Basis for Program Optimization", Proceedings IFIP Conference 1971, North Holland Publishing Company, Amsterdam, 1971.
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.
F. E. Allen, "Control Flow Analysis", Proceedings of a Symposium on Compiler Optimization, SIGPLAN Notices, July, 1970.
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, 1973
K. Kennedy, "A Global Flow Analysis Algorithm", International Journal of Computer Math., Vol. 3, pp. 5–15, December, 1971.
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.
Barry K. Rosen, "Data Flow Analysis for Recursive PL/I Programs" (In preparation).
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.
Thomas C. Spillman, "Exposing Side-Effects in a PL/I Optimizing Compiler", Proceedings of IFIP Congress 1971, North Holland Publishing Company, Amsterdam, 1971.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Allen, F.E. (1975). Interprocedural analysis and the information derived by it. In: Hackl, C.E. (eds) Programming Methodology. IBM 1974. Lecture Notes in Computer Science, vol 23. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07131-8_31
Download citation
DOI: https://doi.org/10.1007/3-540-07131-8_31
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07131-0
Online ISBN: 978-3-540-37401-5
eBook Packages: Springer Book Archive