Converting Java programs to use generic libraries

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

Volumn , Issue , 2004, Pages 15-34

  Donovan, Alan ^a   Kiezun, Adam ^a   Tschantz, Matthew S ^a   Ernst, Michael D ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Generic types; Instantiation types; Java 1.5; Java 5; JSR 14; Parameterized types; Parametric polymorphism; Raw types; Type inference

Indexed keywords

GENERIC TYPES; INSTANTIATION TYPES; JAVA 1.5; JAVA 5; JSR-14; PARAMETERIZED TYPES; PARAMETRIC POLYMORPHISM; RAW TYPES; TYPE INFERENCE;

ALGORITHMS; CONSTRAINT THEORY; CONTEXT SENSITIVE LANGUAGES; DATA STRUCTURES; DIGITAL LIBRARIES; INFORMATION ANALYSIS; OBJECT ORIENTED PROGRAMMING; PARAMETER ESTIMATION; RESOURCE ALLOCATION;

JAVA PROGRAMMING LANGUAGE;

EID: 12844284512     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (49)

1. O. Agesen. The cartesian product algorithm: Simple and precise type inference of parametric polymorphism. In ECOOP, pages 2-26, Aug. 1996.
2. A. Aiken and E. L. Wimmers. Type inclusion constraints and type inference. In Functional Programming Languages and Computer Architecture, pages 31-41, June 1993.
3. D. F. Bacon and P. F. Sweeney. Fast static analysis of C++ virtual function calls. In OOPSLA, pages 324-341, Oct. 1996.
4. G. Bracha, N. Cohen, C. Kemper, S. Mark, M. Odersky, S.-E. Panitz, D. Stoutamire, K. Thorup, and P. Wadler. Adding generics to the Java programming language: Participant draft specification. Technical report, Sun Microsystems, Apr. 27, 2001.
5. G. Bracha, M. Odersky, D. Stoutamire, and P. Wadler, GJ specification, http://www.cis.unisa.edu.au/~pizza/gj/Documents/#gj-specification, May 1998.
6. G. Bracha, M. Odersky, D. Stoutamire, and P. Wadler. Making the future safe for the past: Adding genericity to the Java programming language. In OOPSLA, pages 183-200, Oct. 1998.
7. L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. ACM Computing Surveys, 17(4):471-522, Dec. 1985.
8. R. Cartwright and M. Pagan. Soft typing. In PLDI, pages 278-292, June 1991.
9. R. Cartwright and G. L. Steele Jr. Compatable genericity with run-time types for the Java programming language. In OOPSLA, pages 201-215, Oct. 1998.
10. C. Chambers and D. Ungar. Customization: Optimizing compiler technology for Self, a dynamically-typed object-oriented language. In PLDI, pages 146-160, Portland, OR, USA, June 1989.
11. C. Chambers, D. Ungar, and E. Lee. An efficient implementation of Self, a dynamically-typed object-oriented language based on prototypes. In OOPSLA, pages 49-70, Oct. 1989.
12. OmniCore CodeGuide. http://www.omnicore.com/codeguide.htm.
13. B. De Sutter, F. Tip, and J. Dolby. Customization of Java library classes using type constraints and profile information. In ECOOP, June 2004.
14. J. Dean, D. Grove, and C. Chambers. Optimization of object-oriented programs using static class hierarchy analysis. In ECOOP, pages 77-101, Aug. 1995.
15. A. Donovan. Converting Java programs to use generic libraries. Master's thesis, MIT Dept. of EECS, Sept. 2004.
16. A. Donovan and M. D. Ernst. Inference of generic types in Java. Technical Report MIT/LCS/TR-889, MIT Lab for Computer Science, Mar. 22, 2003.
17. D. Duggan. Modular type-based reverse engineering of parameterized types in Java code. In OOPSLA, pages 97-113, Nov. 1999.
18. Eclipse project, http://www.eclipse.org/.
19. J. Eifrig, S. Smith, and V. Trifonov. Sound polymorphic type inference for objects. In OOPSLA, pages 169-184, Oct. 1995.
20. E. Gagnon, L. J. Hendren, and G. Marceau. Efficient inference of static types for Java bytecode. In Static Analysis Symposium, pages 199-219, June 2000.
21. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification. Addison Wesley, Boston, MA, second edition, 2000.
22. D. Grove and C. Chambers. A framework for call graph construction algorithms. ACM Transactions on Programming Languages and Systems, 23(6):685-746, Nov. 2001.
23. M. Hind and A. Pioli. Evaluating the effectiveness of pointer alias analyses. Science of Computer Programming, 39(l):31-55, Jan. 2001.
24. JetBrains IntelliJ IDEA, http://www.intellij.com/idea/.
25. A. Igarashi, B. C. Pierce, and P. Wadler. A recipe for raw types. In FOOL, London, Jan. 2001.
26. A. Igarashi and M. Viroli. On variance-based subtyping for parametric types. In ECOOP, pages 441-469, June 2002.
27. JavaSoft, Sun Microsystems. Prototype for JSR014: Adding generics to the Java programming language v. l.3. http://jcp.org/jsr/detail/14.html, May 7, 2001.
28. B. H. Liskov and J. M. Wing. A behavioral notion of subtyping. ACM Trans. Prog. Lang. Syst., 16(6):1811-1841, Nov. 1994.
29. B. McAdam, A. Kennedy, and N. Benton. Type inference for MLj. In Scottish Functional Programming Workshop, pages 159-172, 2001. Trends in Functional Programming, volume 2, Chapter 13.
30. R. Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17(3):348-375, 1978.
31. A. C. Myers, J. A. Bank, and B. Liskov. Parameterized types for Java. In POPL, pages 132-145, Jan. 1997.
32. R. O'Callahan. Generalized Aliasing as a Basis for Program Analysis Tools. PhD thesis, Carnegie-Mellon University, Pittsburgh, PA, May 2001.
33. R. O'Callahan and D. Jackson. Lackwit: A program understanding tool based on type inference. In ICSE, pages 338-348, May 1997.
34. A. Ohori and P. Buneman. Static type inference for parametric classes. In OOPSLA, pages 445-456, Oct. 1989.
35. J. Palsberg and M. I. Schwartzbach. Object-oriented type inference. In OOPSLA, pages 146-161, Oct. 1991.
36. J. Palsberg and M. I. Schwartzbach. Object-Oriented Type Systems. John Wiley and Sons, 1994.
37. P. Plauger, A. A. Stepanov, M. Lee, and D. R. Musser. The C++ Standard Template Library. Prentice Hall PTR, 2000.
38. J. Plevyak and A. A. Chien. Precise concrete type inference for object-oriented languages. In OOPSLA, pages 324-340, Oct. 1994.
39. M. Siff and T. Reps. Program generalization for software reuse: From C to C++. In FSE, pages 135-146, Oct. 1996.
40. B. Stroustrup. The Design and Evolution of C++. Addison-Wesley, Reading, Massachusetts, 1994.
41. B. Stroustrup. The C++ Programming Language. Addison-Wesley, Boston, MA, special edition, 2000.
42. F. Tip, R. Fuhrer, J. Dolby, and A. Kieżun. Refactoring techniques for migrating applications to generic Java container classes. IBM Research Report RC 23238, IBM T.J. Watson Research Center, Yorktown Heights, NY, USA, June 2, 2004.
43. F. Tip, A. Kieżun, and D. Bäumer. Refactoring for generalization using type constraints. In OOPSLA, pages 13-26, Nov. 2003.
44. F. Tip and J. Palsberg. Scalable propagation-based call graph construction algorithms. In OOPSLA, pages 281-293, Oct. 2000.
45. M. Torgersen, C. P. Hansen, E. Ernst, P. von der Ahé, G. Bracha, and N. Gafter. Adding wildcards to the Java programming language. In SAC, pages 1289-1296, Mar. 2004.
46. R. Vallée-Rai, L. Hendren, V. Sundaresan, P. Lam, E. Gagnon, and P. Co. Soot - a Java bytecode optimization framework. In CASCON, pages 125-135, Nov. 1999.
47. D. von Dincklage and A. Diwan. Converting Java classes to use generics. In OOPSLA, Oct. 2004.
48. T. Wang and S. Smith. Precise constraint-based type inference for Java. In ECOOP, pages 99-117, June 2001.
49. D. Yu, A. Kennedy, and D. Syme. Formalization of generics for the .NET common language runtime. In POPL, pages 39-51, Jan. 2004.