Class hierarchy specialization

Acta Informatica

Volumn 36, Issue 12, 2000, Pages 927-982

  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: 0034214725     PISSN: 00015903     EISSN: None     Source Type: Journal    
DOI: 10.1007/PL00013298     Document Type: Article

References (36)

1. 1. Accredited Standards Committee X3. Working paper for draft proposed international standard for information systems - programming language C++. Doc. No. X3J16/97-0108. Draft of 25 November 1997
2. 2. 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
3. 3. Agesen, O., 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), pp. 355-370, Portland, OR, 1994. SIGPLAN Notices 29(10)
4. 4. Aigner, G., Hölzle, U.: Eliminating virtual function calls in C++ programs. In: Proceedings of the Tenth European Conference on Object-Oriented Programming (ECOOP'96), volume 1098 of Lecture Notes in Computer Science, pp. 142-166. Linz, Austria, July 1996. Springer Berlin Heidelberg New York: 1996
5. 5. Bacon, D.F.: Fast and Effective Optimization of Statically Typed Object-Oriented Languages. PhD thesis, Computer Science Division, University of California, Berkeley, December 1997 Report No. UCB/CSD-98-1017
6. 6. Bacon, D.F., 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), pp. 324-341, San Jose, CA, 1996 SIGPLAN Notices 31(10)
7. 7. Barendregt, H., van Eekelen, M., Glauert, J., Kennaway, J., Plasmeijer, M., Sleep, M.: Term graph rewriting. In: Proc. PARLE Conference, Vol. II: Parallel Languages, Vol. 259 of Lecture Notes in Computer Science, pp. 141-158. Eindhoven, The Netherlands, Springer Berlin Heidelberg New York: 1987
8. 8. Calder, B., 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), pp. 397-408
9. 9. Carini, P.R., Hind, M., Srinivasan, H.: Flow-sensitive type analysis for C++. Technical Report RC 20267, IBM T.J. Watson Research Center, 1995
10. 10. Choi, J.-D.,Burke, M., 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, pp. 232-245. ACM, 1993
11. 11. Dean, J., Grove, D., Chambers, C.: Optimization of object-oriented programs using static class hierarchy analysis. In: W. Olthoff, (ed.), Proceedings of the Ninth European Conference on Object-Oriented Programming (ECOOP'95), (Aarhus, Denmark, Aug. 1995), pp. 77-101, Springer Berlin Heidelberg New York
12. 12. Diwan, A. Moss, J.E.B., 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), pp. 292-305, San Jose, CA, 1996. SIGPLAN Notices 31(10)
13. 13. Godin, R., Mili, H.: Building and maintaining analysis-level class hierarchies using galois lattices. In: Proceedings of the Eighth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'93), pp. 394-410, Washington, DC, 1993 ACM SIGPLAN Notices 28(10)
14. 14. Godin, R., Mili, H., Mineau, G.W.: Rokia Missaoui, Amina Arfi, and Thuy-Tien Chau. Design of class hierarchies based on concept (galois) lattices. Theory and Practice of Object Systems, 4(2): 117-134, 1998
15. 15. James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison-Wesley, 1996
16. 16. Klop, J.W.: Term rewriting systems. In: Abramsky, S., Gabbay, D., Maibaum, T. (eds.) Handbook of Logic in Computer Science, Volume 2. Background: Computational Structures, pp. 1-116. Oxford University Press, 1992
17. 17. Liu, Y.A., Stoller, S.D.: Dead code elimination using program-based regular tree grammars. Technical Report TR498, Indiana University, November 1997
18. 18. 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), pp. 235-250, San Jose, CA, 1996. SIGPLAN Notices 31(10)
19. 19. O'Callahan, R., 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
20. 20. Opdyke, W., Johnson, R.: Creating abstract superclasses by refactoring. In: ACM 1993 Computer Science Conference, 1993
21. 21. Opdyke, W.F.: Refactoring Object-Oriented Frameworks. PhD thesis, University Of Illinois at Urbana-Champaign, 1992
22. 22. Palsberg, P., Schwartzbach, M.: Object-Oriented Type Systems. New York: Wiley 1993
23. 23. Pande, J.D., Ryder B.G.: Static type determination and aliasing for C++. Report LCSR-TR-250-A, Rutgers University, October 1995
24. 24. Ramalingam, G., Srinivasan, H.: A member lookup algorithm for C++. In: Proceedings of the ACM SIGPLAN'97 Conference on Programming Language Design and Implementation, pp. 18-30, Las Vegas, NV, 1997
25. 25. Rossie, J.G., 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), pp 187-199, Austin, TX, 1995 SIGPLAN Notices 30(10)
26. 26. Shapiro, M., Horwitz, S.: Fast and accurate flow-insensitive points-to analysis. In: Conference Record of the Twenty-Fourth ACM Symposium on Principles of Programming Languages, pp. 1-14, Paris, France, 1997
27. 27. Snelting, G., Tip, F.: Reengineering class hierarchies using concept analysis. In: Proceedings of the Sixth International Symposium on the Foundations of Software Engineering (FSE-6), pp. 99-110, Lake Buena Vista, FL, November 1998
28. 28. Snelting, G., Tip, F: Reengineering class hierarchies using concept analysis. Technical report RC 21670, IBM T.J. Watson Research Center, February 2000. To appear in ACM Transactions on Programming Languages and Systems
29. 29. Srivastava, A.: Unreachable procedures in object oriented programming. ACM Letters on Programming Languages and Systems, 1(4):355-364, December 1992
30. 30. Steensgaard, B.: Points-to analysis in almost linear time. In: Proceedings of the Twenty-Third ACM Symposium on Principles of Programming Languages, pp. 32-41, St. Petersburg, FL, January 1996
31. 31. Sweeney, P.F., Tip, F: A study of dead data members in C++ applications. In: Proceedings of the ACM SIGPLAN'98 Conference on Programming Language Design and Implementation, pp. 324-332, Montreal, Canada, June 1998
32. 32. Tip, F.: A survey of program slicing techniques. Journal of Programming Languages, 3(3):121-189, 1995
33. 33. Tip, F., Choi, J.-D., Field, J., Ramalingam, G.: Slicing class hierarchies in C++. In: Proceedings of the Eleventh Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'96). pp. 179-197, San Jose, CA, 1996. SIGPLAN Notices 31(10)
34. 34. Tip, F., Laffra, C., Sweeney, P.F., Streeter, D.: Practical experience with an application extractor for java. In: Proceedings of the Fourteenth Annual Conference on Object-Oriented Programming, Languages, and Applications (OOPSLA'99), pp 292-305, November 1999. SIGPLAN Notices 34(10)
35. 35. Tip, F., Sweeney, P.F.: Class hierarchy specialization. In: Proceedings of the Eleventh Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'97), pp. 271-285, Atlanta, GA, 1997. ACM SIGPLAN Notices 32(10)
36. 36. Weiser, M.: Program slices: formal, psychological, and practical investigations of an automatic program abstraction method. PhD thesis. University of Michigan, Ann Arbor, 1979