Class Hierarchy Specialization

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 32, Issue 10, 1997, Pages 271-285

  Tip, Frank ^a   Sweeney, Peter F ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0346616787     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/263700.263748     Document Type: Article

References (31)

1. AGESEN, O. Concrete Type Inference: Delivering Object-Oriented Applications. PhD thesis, Stanford University, December 1995. Appeared as Sun Microsystems Laboratories Technical Report SMLI TR-96-52.
2. AGESEN, O., AND UNGAR, D. Sifting out the gold: Delivering compact applications from an exploratory object-oriented programming environment. In Proceedings of the Ninth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'94) (Portland, OR, 1994), pp. 355-370. SIGPLAN Notices 29(10).
3. AGESEN, O., AND UNGAR, D. Sifting out the gold: Delivering compact applications from an exploratory object-oriented programming environment. In Proceedings of the Ninth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'94) (Portland, OR, 1994), pp. 355-370. SIGPLAN Notices 29(10).
4. AIGNER, G., AND HÖLZLE, U. Eliminating virtual function calls in C++ programs. In Proceedings of the Tenth European Conference on Object-Oriented Programming (ECOOP'96) (Linz, Austria, July 1996), vol. 1098 of Lecture Notes in Computer Science, Springer-Verlag, pp. 142-166.
5. BACON, D. F., AND SWEENEY, P. F. Fast static analysis of C++ virtual function calls. In Proceedings of the Eleventh Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'96) (San Jose, CA, 1996), pp. 324-341. SIGPLAN Notices 31(10).
6. BACON, D. F., AND SWEENEY, P. F. Fast static analysis of C++ virtual function calls. In Proceedings of the Eleventh Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'96) (San Jose, CA, 1996), pp. 324-341. SIGPLAN Notices 31(10).
7. CALDER, B., AND GRUNWALD, D. Reducing indirect function call overhead in C++ programs. Conference Record of the Twenty-First ACM Symposium on Principles of Programming Languages (January 1994), 397-408.
8. CARINI, P. R., HIND, M., AND SRINIVASAN, H. Flow-sensitive type analysis for C++. Tech. Rep. RC 20267, IBM T.J. Watson Research Center, 1995.
9. CHOI, J.-D., BURKE, M., AND CARINI, P. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects. In Conference Record of the Twentieth ACM Symposium on Principles of Programming Languages (1993), ACM, pp. 232-245.
10. DEAN, J., GROVE, D., AND CHAMBERS, C. Optimization of object-oriented programs using static class hierarchy analysis. In Proceedings of the Ninth European Conference on Object-Oriented Programming (ECOOP'95) (Aarhus, Denmark, Aug. 1995), W. Olthoff, Ed., Springer-Verlag, pp. 77-101.
11. DIWAN, A., MOSS, J. E. B., AND MCKINLEY, K. S. Simple and effective analysis of statically-typed object-oriented programs. In Proceedings of the Eleventh Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'96) (San Jose, CA, 1996), pp. 292-305. SIGPLAN Notices 31(10).
12. DIWAN, A., MOSS, J. E. B., AND MCKINLEY, K. S. Simple and effective analysis of statically-typed object-oriented programs. In Proceedings of the Eleventh Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'96) (San Jose, CA, 1996), pp. 292-305. SIGPLAN Notices 31(10).
13. GOSLING, J., JOY, B., AND STEELE, G. The Java Language Specification. Addison-Wesley, 1996.
14. MOORE, I. Automatic inheritance hierarchy restructuring and method refactoring. In Proceedings of the Eleventh Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'96) (San Jose, CA, 1996), pp. 235-250. SIGPLAN Notices 31(10).
15. MOORE, I. Automatic inheritance hierarchy restructuring and method refactoring. In Proceedings of the Eleventh Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'96) (San Jose, CA, 1996), pp. 235-250. SIGPLAN Notices 31(10).
16. O'CALLAHAN, R., AND JACKSON, D. Lackwit: A program understanding tool based on type inference. In Proceedings of the 1997 International Conference on Software Engineering Programming Systems, Languages, and Applications (ICSE'96) (Boston, MA, May 1997).
17. OPDYKE, W., AND JOHNSON, R. Creating abstract superclasses by refactoring. In ACM 1993 Computer Science Conference (1993).
18. OPDYKE, W. F. Refactoring Object-Oriented Frameworks. PhD thesis, University Of Illinois at Urbana-Champaign, 1992.
19. PALSBERG, J., AND SCHWARTZBACH, M. Object-Oriented Type Systems. John Wiley & Sons, 1993.
20. PANDE, H. D., AND RYDER, B. G. Static type determination and aliasing for C++. Report LCSR-TR-250-A, Rutgers University, October 1995.
21. RAMALINGAM, G., AND SRINIVASAN, H. A member lookup algorithm for C++. In Proceedings of the ACM SIGPLAN'97 Conference on Programming Language Design and Implementation (Las Vegas, NV, 1997), pp. 18-30.
22. ROSSIE, J. G., AND FRIEDMAN, D. P. An algebraic semantics of subobjects. In Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'95) (Austin, TX, 1995), pp. 187-199. SIGPLAN Notices 30(10).
23. ROSSIE, J. G., AND FRIEDMAN, D. P. An algebraic semantics of subobjects. In Proceedings of the Tenth Annual Conference on Object- Oriented Programming Systems, Languages, and Applications (OOPSLA'95) (Austin, TX, 1995), pp. 187-199. SIGPLAN Notices 30(10).
24. SHAPIRO, M., AND HORWITZ, S. Fast and accurate flow-insensitive points-to analysis. In Conference Record of the Twenty-Fourth ACM Symposium on Principles of Programming Languages (Paris, France, 1997), pp. 1-14.
25. SRIVASTAVA, A. Unreachable procedures in object oriented programming. ACM Letters on Programming Languages and Systems 1, 4 (December 1992), 355-364.
26. STEENSGAARD, B. Points-to analysis in almost linear time. In Proceedings of the Twenty-Third ACM Symposium on Principles of Programming Languages (St. Petersburg, FL, January 1996), pp. 32-41.
27. TIP, F. A survey of program slicing techniques. Journal of Programming Languages 3, 3 (1995), 121-189.
28. TIP, F., CHOI, J.-D., FIELD, J., AND RAMALINGAM, G. Slicing class hierarchies in C++. In Proceedings of the Eleventh Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'96) (San Jose, CA, 1996), pp. 179-197. SIGPLAN Notices 31(10).
29. TIP, F., CHOI, J.-D., FIELD, J., AND RAMALINGAM, G. Slicing class hierarchies in C++. In Proceedings of the Eleventh Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'96) (San Jose, CA, 1996), pp. 179-197. SIGPLAN Notices 31(10).
30. TIP, F., AND SWEENEY, P. F. Class hierarchy specialization. Technical report, IBM, 1997. Forthcoming.
31. WEISER, M. Program slices: formal, psychological, and practical investigations of an automatic program abstraction method. PhD thesis, University of Michigan, Ann Arbor, 1979.