Interprocedural constant propagation

ACM SIGPLAN Notices

Volumn 39, Issue 4, 2004, Pages 157-166

  Callahan, David ^a   Cooper, Keith D ^a   Kennedy, Ken ^a   Torczon, Linda ^a  

^a Rice University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INLINE SUBSTITUTION; INTERPROCEDURAL CONSTANT PROPAGATION; STANDALONE ALGORITHMS; VACTORIZATION;

ALGORITHMS; CODES (SYMBOLS); COMPUTER PROGRAMMING; DATA FLOW ANALYSIS; FUNCTIONS; MATHEMATICAL MODELS; OPTIMIZATION; PARAMETER ESTIMATION;

COMPUTER SYSTEMS;

EID: 3142772160     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (21)

1. [AhUl 77] A. Aho and J. Ullman. Principles of Compiler Design. Addison-Wesley. 1977.
2. [Alle 74] F. E. Allen. Interprocedural data flow analysis. Proceedings IFIP Congress 74, North-Holland Publishing Co.: Amsterdam. 1974.
3. [AlKe 84] J. R. Allen and K. Kennedy. PFC: a program to convert Fortran to parallel form. Supercomputers: Design and Applications (K. Hwang, ed.). IEEE Computer Society Press, 1984.
4. [Ball 79] J. E. Ball. Predicting the effects of optimization on a procedure body. Proceedings of SIGPLAN '79 Symposium on Compiler Construction, SIGPLAN Notices, 14(8). 1979.
5. [Coop 83] K. D. Cooper. Interprocedural information in a programming environment. Ph.D. Dissertation, Department of Mathematical Sciences, Rice University, Houston, TX. May 1983.
6. [Coop 85] K. D. Cooper. Analyzing aliases of reference formal parameters. Proceedings of Twelfth POPL. 1985.
7. [CoKe 84] K. D. Cooper and K. Kennedy. Efficient computation of flow insensitive interprocedural summary information. Proceedings of SIGPLAN '84 Symposium on Compiler Construction, SIGPLAN Notices, 19(6). 1984.
8. [CoKT 85] K. D. Cooper, K. Kennedy, and L. Torczon. The impact of interprocedural analysis and optimization on the design of a software development environment. Proceedings of SIGPLAN '85 Symposium on Language Issues in Programming Environment, SIGPLAN Notices, 20(7). July 1985.
9. n programming environment. Proceedings of the Nineteenth Annual Hawaii International Conference on Systems Sciences. January, 1986.
10. [Dong 80] J. Dongarra. LINPACK working note #3: FORTRAN BLAS timing. Technical Report ANL-80-24, Argonne National Laboratory, February 1980.
11. [DBMS 79] J. J. Dongarra, J. R. Bunch, C. B. Moler, and G. W. Stewart. LINPACK Users' Guide. SIAM, Philadelphia. 1979.
12. [HoKe 85] R. T. Hood and K. Kennedy. A programming environment for Fortran. Proceedings of the Eighteenth Annual Hawaii International Conference on Systems Sciences, 1985.
13. [KaUl 77] J. Kam and J. Ullman. Monotone data flow analysis frameworks. Acta Informatics, 7. 1977.
14. [Kenn 78] K. Kennedy. Use-definition chains with applications. J. Computer Languages, 3(3). 1978.
15. [Kenn 81] K. Kennedy. A survey of data flow analysis techniques. Program Flow Analysis: Theory and Applications (S.S. Muchnick and N.D. Jones, eds.). Prentice-Hall. 1981. pp. 5-54.
16. [Kild 73] G. Kildall. A unified approach to global program optimization. Proceedings of First POPL. 1973.
17. [Myer 81] E. W. Myers. A precise inter-procedural data flow algorithm. Proceedings of Eighth POPL. 1981.
18. [ReLe 82] J. H. Reif and H. R. Lewis. Symbolic evaluation and the global value graph. TR 37-82, Aiken Computation Laboratory, Harvard University. 1982.
19. [Sehe 77] R. W. Scheifler. An analysis of inline substitution for a structured programming language. Communications of the ACM, 20(9). 1977.
20. [Tore 85] L. Torczon. Compilation dependences in an ambitious optimizing compiler. Ph.D. Dissertation, Department of Computer Science, Rice University, Houston, TX. May 1985.
21. [WeZa 85] M. Wegman and P. K. Zadeck, Constant propagation with conditional branches. Proceedings of Twelfth POPL. 1985.