Converting Java classes to use generics

19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA'04

Volumn , Issue , 2004, Pages 1-14

  Von Dincklage, Daniel ^a   Diwan, Amer ^a  

^a UNIVERSITY OF COLORADO   (United States)

Author keywords

Generics; Parametric Polymorphism; Type Inference

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); COMPUTER AIDED SOFTWARE ENGINEERING; DATA STRUCTURES; ERROR DETECTION; HEURISTIC PROGRAMMING; INFORMATION ANALYSIS; LARGE SCALE SYSTEMS; LEGACY SYSTEMS; OBJECT ORIENTED PROGRAMMING;

GENERICS; LEGACY CODES; PARAMETRIC POLYMORPHISM; TYPE INFERENCE;

JAVA PROGRAMMING LANGUAGE;

EID: 12844273462     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1028976.1028978     Document Type: Conference Paper

References (18)

1. O. Agesen. The cartesian product algorithm: Simple and precise type inference of parametric polymorphism. In Proceedings of the 9th European Conference on Object-Oriented Programming, pages 2-26. Springer-Verlag, 1995.
2. G. Bracha, M. Odersky, D. Stoutamire, and P. W. adler. Making the future safe for the past: Adding genericity to the Jav a programming language. In C. Chambers, editor, ACM Symposium on Object Oriented Programming: Syst ems, Languages, and Applications (OOPSLA), pages 183-200, Vancouver, BC, 1998.
3. L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. ACM Comput. Surv., 17(4):471-522, December 1985.
4. A. Diwan, K. McKinley, and E. Moss. Using types to analyze and optimize object-oriented programs. ACM Transactions on Programming Languages and Systems, 23(l):30-72, February 2001.
5. A. Donovan, A. Kiezun, and M. D. Ernst. Converting Java programs to use generic libraries. In ACM Symposium on Object Oriented Programming: Systems, Languages, and Applications (OOPSLA), Vancouver, Canada, October 2004. ACM. To appear.
6. D. Duggan. Modular type-based reverse engineering of parameterized types in Java code. In Proceedings of the 14th ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 97-113. ACM Press, 1999.
7. M. Fähndrich and A. Aiken. Program analysis using mixed term and set constraints. In Static Analysis Symposium, 1997.
8. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification Second Edition. Addison-Wesley, Boston, Mass., 2000.
9. B. Meyer. Eiffel: a language and environment for software engineering. Journal of Systems and Software, 8(3):199-246, 1988.
10. B. Meyer. Eiffel: the language. Prentice-Hall, Inc., 1992.
11. R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. MIT Press, Cambridge, Massachusetts, 1990.
12. G. Nelson, editor. Systems Programming with Modula-3. Prentice Hall, New Jersey, 1991.
13. N. Nystrom, A. L. Hosking, D. Whitlock, Q. Cutts, and A. Diwan. Partial redundancy elimation for access path expressions. Software-Practice and Experience, 31(6):577-600, 2001.
14. R. O'Callahan and D. Jackson. Lackwit: A program understanding tool based on type inference, 1997.
15. B. Steensgaard. Points-to analysis in almost linear time. In Symposium on Principles of Programming Languages, pages 32-41, 1996.
16. F. Tip, R. Fuhrer, J. Dolby, and A. Kiezun. Refactoring techniques for migrating applications to generic Java container classes. Technical Report RC23238(W0406-045), IBM Research Division, June 2004.
17. F. Tip, A. Kiezun, and D. Bäumer. Refactoring for generalization using type constraints. In ACM Symposium on Object Oriented Programming: Systems, Languages, and Applications (OOPSLA), pages 13-26, Anaheim, CA, October 2003.
18. R. Vallée-Rai, P. Co, E. Gagnon, L. Hendren, P. Lam, and V. Sundaresan. Soot - a Java bytecode optimization framework, 1999.