Generalized constant propagation a study in c

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1060, Issue , 1996, Pages 74-90

  Verbrugge, Clark ^a   Co, Phong ^a   Hendren, Laurie ^a  

^a MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMBINATORIAL CIRCUITS; PROGRAM COMPILERS;

C LANGUAGE; COMPILER ANALYSIS; CONSTANT PROPAGATION; INTER-PROCEDURAL; TOPDOWN;

C (PROGRAMMING LANGUAGE);

EID: 84905030599     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61053-7_54     Document Type: Conference Paper

References (16)

1. François Bourdoncle. Abstract debugging of higher-order imperative languages. In Proc. of SIGPLAN PLDI'93, pages 46–55, Albuquerque, N. Mex., Jun. 1993.
2. Patrick Cousot and Radhia Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximations of fixpoints. In Conf. Rec. of POPL-4, pages 238–252, Los Angeles, Calif., Jan. 1977.
3. Patrick Cousot and Radhia Cousot. Comparing the galois connection and widening/narrowing approaches to abstract interpretation. Technical Report LIX/RR/92/09, Ecole Polytechnique Laboratoire d'Informatique, 91128 Palaiseau Cedex, France, Juin 1992.
4. David Callahan, Keith D. Cooper, Ken Kennedy, and Linda Torczon. In-terprocedural constant propagation. In Proc. of the SIGPLAN'86 Symp.on Compiler Construction, pages 152–161, Palo Alto, Calif., Jun. 1986.
5. Paul R. Carini and Michael Hind. Flow-sensitive interprocedural constant propagation. In Proc. of SIGPLAN PLDI'95, pages 23–31, La Jolla, Calif., Jun. 1995.
6. Nachum Dershowitz and Zohar Manna. Inference rules for program annotation. IEEE Transactions on Software Engineering, SE-7(2):207–222, Mar. 1981.
7. Maryam Emami, Rakesh Ghiya, and Laurie J. Hendren. Context-sensitive interprocedural points-to analysis in the presence of function pointers. In Proc. of SIGPLAN PLDI'94, pages 242–256, Orlando, Flor., Jun. 1994.
8. Ana M. Erosa and Laurie J. Hendren. Taming control flow: A structured approach to eliminating goto statements. In Proc. of the 1994 Intl. Conf. on Computer Languages, pages 229–240, Toulouse, France, May 1994.
9. Dan Grove and Linda Torczon. Interprocedural constant propagation: A study of jump function implementations. In Proc. of SIGPLAN PLDI'93, pages 90–99, Albuquerque, N. Mex., Jun. 1993.
10. William H. Harrison. Compiler analysis of the value ranges for variables. IEEE Trans, on Software Eng., 3(3):243–250, May 1977.
11. L. Hendren, C. Donawa, M. Emami, G. Gao, Justiani, and B. Sridharan. Designing the McCAT compiler based on a family of structured intermediate representations. In Proc. of the 5th Intl. Work, on Languages and Compilers for Parallel Computing, number 757 in LNCS, pages 406–420, New Haven, Conn., Aug. 1992. Springer-Verlag. Publ. in 1993.
12. Laurie J. Hendren, Maryam Emami, Rakesh Ghiya, and Clark Verbrugge. A practical context-sensitive interprocedural analysis framework for C compilers. ACAPS Tech. Memo 72, Sch. of Comp. Sci., McGill U., Montréal, Qué., Jul. 1993. In ftp://ftp-acaps.cs.mcgill.ca/pub/doc/memos.
13. Robert Metzer and Sean Stroud. Interprocedural constant propagation: An empirical study. ACM Letters on Programming Languages and Systems, 2(1–4):213–232, 1993.
14. Jason R. C. Patterson. Accurate static branch prediction by value range propagation. In Proc. of SIGPLAN PLDI'95, pages 67–78, La Jolla, Calif., Jun. 1995.
15. Bhama Sridharan. An analysis framework for the McCAT compiler. Master's thesis, McGill U., Montréal, Qué.,Sep. 1992.
16. Mark N. Wegman and F. Kenneth Zadeck. Constant propagation with conditional branches. ACM Trans. on Programming Languages and Systems, 13(2):181–210, Apr. 1991.