Call Graph Construction in Object-Oriented Languages

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 32, Issue 10, 1997, Pages 108-123

  Grove, David ^a   DeFouw, Greg ^a   Dean, Jeffrey ^a,b   Chambers, Craig ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

^b HEWLETT PACKARD COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0345985588     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (46)

1. Ole Agesen. Constraint-Based Type Inference and Parametric Polymorphism. In First International Static Analysis Symposium, September 1994.
2. Ole Agesen. The Cartesian Product Algorithm: Simple and Precise Type Inference of Parametric Polymorphism. In Proceedings ECOOP '95, Aarhus, Denmark, August 1995. Springer-Verlag.
3. Ole Agesen. Concrete Type Inference: Delivering Object-Oriented Applications. PhD thesis, Stanford, January 1996. SLMI TR 96-52.
4. Martin Alt and Florian Martin. Generation of efficient interprocedural analyzers with PAG. In Proceedings of the Second International Symposium on Static Analysis, pages 33-50. Springer-Verlag, September 1995.
5. David F. Bacon and Peter F. Sweeney. Fast Static Analysis of C++ Virtual Function Calls. In OOPSLA'96 Conference Proceedings, San Jose, CA, October 1996.
6. Gilad Bracha and David Griswold. Strong-talk: Typechecking Smalltalk in a Production Environment. In Proceedings OOPSLA '93, pages 215-230, October 1993. Published as ACM SIGPLAN Notices, volume 28, number 10.
7. David Callahan, Alan Carle, Mary W. Hall, and Ken Kennedy. Constructing the Procedure Call Multigraph. IEEE Transactions on Software Engineering, 16(4):483-487, 1990.
8. Craig Chambers and David Ungar. Customization: Optimizing Compiler Technology for Self, A Dynamically-Typed Object-Oriented Programming Language. SIGPLAN Notices, 24(7):146-160, July 1989. In Proceedings of the ACM SIGPLAN '89 Conference on Programming Language Design and Implementation.
9. Craig Chambers and David Ungar. Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs. SIGPLAN Notices, 25(6):150-164, June 1990. In Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation.
10. Craig Chambers. The Cecil Language: Specification and Rationale. Technical Report TR-93-03-05, Department of Computer Science and Engineering. University of Washington, March 1993.
11. Keith D. Cooper, Mary W. Hall, and Ken Kennedy. Procedure Cloning. In Proceedings of 1992 IEEE International Conference on Computer Languages, pages 96-105, Oakland, CA, April 1992.
12. Patrick Cousot and Radhia Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, pages 238-252, Los Angeles, California, January 1977.
13. Jeffrey Dean. Whole Program Optimization of Object-Oriented Languages. PhD thesis, University of Washington, November 1996. TR-96-11-05.
14. Jeffrey Dean, David Grove, and Craig Chambers. Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis. In Proceedings ECOOP '95, Aarhus, Denmark, August 1995. Springer-Verlag.
15. Jeffrey Dean, Greg DeFouw, Dave Grove, Vassily Litvinov, and Craig Chambers. Vortex: An Optimizing Compiler for Object-Oriented Languages. In OOPSLA'96 Conference Proceedings, San Jose, CA, October 1996.
16. Greg DeFouw, David Grove, and Craig Chambers. Fast Interprocedural Class Analysis. Technical Report TR-97-07-02, Department of Computer Science and Engineering. University of Washington, July 1997.
17. L. Peter Deutsch and Allan M. Schiffman. Efficient Implementation of the Smalltalk-80 System. In Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, pages 297-302, Salt Lake City, Utah, January 1984.
18. Amer Diwan, Eliot Moss, and Kathryn McKinley. Simple and Effective Analysis of Statically-typed Object-Oriented Programs. In OOPSLA'96 Conference Proceedings, San Jose, CA, October 1996.
19. Maryam Emami, Rakesh Ghiya, and Laurie J. Hendren. Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers. SIGPLAN Notices, 29(6):242-256, June 1994. In Proceedings of the ACM SIGPLAN '94 Conference on Programming Language Design and Implementation.
20. James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison-Wesley, Reading, MA, 1996.
21. David Grove, Jeffrey Dean, Charles Garrett, and Craig Chambers. Profile-Guided Receiver Class Prediction. In OOPSLA'95 Conference Proceedings, pages 108-123, Austin, TX, October 1995.
22. Mary W. Hall and Ken Kennedy. Efficient Call Graph Analysis. ACM Letters on Programming Languages and Systems, 1(3):227-242, September 1992.
23. Urs Hölzle and Ole Agesen. Dynamic vs. Static Optimization Techniques for Object-Oriented Languages. Theory and Practice of Object Systems, 1(3), 1996.
24. Urs Hölzle and David Ungar. Optimizing Dynamically-Dispatched Calls with Run-Time Type Feedback. SIGPLAN Notices, 29(6):326-336, June 1994. In Proceedings of the ACM SIGPLAN '94 Conference on Programming Language Design and Implementation.
25. Suresh Jagannathan and Stephen Weeks. A Unified Framework of Flow Analysis in Higher-Order Languages. In Conference Record of POPL '95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 393-407, January 1995.
26. Ralph Johnson. TS: AN Optimizing Compiler for Smalltalk. In Proceedings OOPSLA '88, pages 18-26, November 1988. Published as ACM SIGPLAN Notices, volume 23, number 11.
27. John B. Kam and Jeffrey D. Ullman. Global data flow analysis and iterative algorithms. Journal of the ACM, 23(1):158-171, January 1976.
28. Gary A. Kildall. A Unified Approach to Global Program Optimization. In Conference Record of the ACM Symposium on Principles of Programming Languages, pages 194-206, Boston, Massachusetts, October 1973.
29. David Kranz. ORBIT: An Optimizing Compiler for Scheme. PhD thesis, Yale University, February 1988. Department of Computer Science, Research Report 632.
30. Arun Lakhotia. Constructing Call Multigraphs Using Dependence Graphs. In Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT ymposium on Principles of Programming Languages, pages 273-284, Charleston, South Carolina, January 1993.
31. William Landi, Barbara G. Ryder, and Sean Zhang. Interprocedural Side Effect Analysis With Pointer Aliasing. SIGPLANNotices, 28(6):56-67, June 1993. In Proceedings of the ACM SIGPLAN '93 Conference on Programming Language Design and Implementation.
32. Flemming Nielson and Hanne Riis Nielson. Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis. In Conference Record of POPL '97: 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 332-345, Paris, France, January 1997.
33. Martin Odersky and Philip Wadler. Pizza into Java: Translating theory into practice. In Conference Record of POPL '97: 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 146-159, Paris, France, January 1997.
34. Nicholas Oxhøj, Jens Palsberg, and Michael I. Schwartzbach. Making Type Inference Practical. In O. Lehrmann Madsen, editor, Proceedings ECOOP '92, LNCS 615, pages 329-349, Utrecht, The Netherlands, June 1992. Springer-Verlag.
35. Jens Palsberg and Michael I. Schwartzbach. Object-Oriented Type Inference. In Proceedings OOPSLA '91, pages 146-161, November 1991. Published as ACM SIGPLAN Notices, volume 26, number 11.
36. John Plevyak and Andrew A. Chien. Precise Concrete Type Inference for Object-Oriented Languages. In Proceedings OOPSLA '94, pages 324-340, Portland, OR, October 1994.
37. John Plevyak and Andrew A. Chien. Type Directed Cloning for Object-Oriented Programs. In Proceedings of the Workshop for Languages and Compilers for Parallel Computing, pages 566-580, 1995.
38. John Plevyak. Optimization of Object-Oriented and Concurrent Programs. PhD thesis, University of Illinois at Urbana-Champaign, 1996.
39. Barbara Ryder. Constructing the Call Graph of a Program. IEEE Transactions on Software Engineering, 5(3):216-225, 1979.
40. Olin Shivers. Control-Flow Analysis in Scheme. SIGPLAN Notices, 23(7): 164-174, July 1988. In Proceedings of the ACM SIGPLAN '88 Conference on Programming Language Design and Implementation.
41. Olin Shivers. Control-Flow Analysis of Higher-Order Languages. PhD thesis, Carnegie Mellon University, May 1991. CMU-CS-91-145.
42. Olin Shivers. Data Flow Analysis and Type Recovery in Scheme. In Topics in Advanced Language Implementation. MIT Press, 1991. Edited by Peter Lee.
43. Bjarne Steensgaard. A Polyvariant Closure Analysis with Dynamic Abstraction. Unpublished manuscript, 1994.
44. Bjarne Steensgaard. Points-to Analysis in Almost Linear Time. In Conference Record of POPL '96: 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 32-41, St. Petersburg, Florida, January 1996.
45. Dan Stefanescu and Yuli Zhou. An Equational Framework for the Flow Analysis of Higher-Order Functional Programs. In Proceedings of the ACM Symposium on Lisp and Functional Programming, pages 190-198, June 1994.
46. Robert P. Wilson and Monica S. Lam. Efficient Context-Sensitive Pointer Analysis for C Programs. SIGPLAN Notices, pages 1-12, June 1995. In Proceedings of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation.