Efficiently refactoring Java applications to use generic libraries

Lecture Notes in Computer Science

Volumn 3586, Issue , 2005, Pages 71-96

  Fuhrer, Robert ^a   Tip, Frank ^a   Kiezun, Adam ^b   Dolby, Julian ^a   Keller, Markus ^c  

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

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^c IBM RESEARCH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARKING; DATA ACQUISITION; PARAMETER ESTIMATION; PROGRAM COMPILERS;

ALLOCATION SITES; DOWN-CASTS; GENERIC LIBRARIES; TYPE-SAFE USAGE;

JAVA PROGRAMMING LANGUAGE;

EID: 26444506226     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11531142_4     Document Type: Conference Paper

References (25)

1. AGESEN, O. The cartesian product algorithm: Simple and precise type inference of parametric polymorphism. In Proc. of ECOOP (1995), pp. 2-26.
2. AGESEN, O. Concrete Type Inference: Delivering Object-Oriented Applications. PhD thesis, Stanford University, December 1995.
3. BÄUMER, D., GAMMA, E., AND KIEŻUN, A. Integrating refactoring support into a Java development tool. In OOPSLA'01 Companion (October 2001).
4. BRACHA, G., COHEN, N., KEMPER, C., ODERSKY, M., STOUTAMIRE, D., THORUP, K., AND WADLER, P. Adding generics to the Java programming language, final release. Tech. rep., Java Community Process JSR-000014, September 2004.
5. BRACHA, G., ODERSKY, M., STOUTAMIRE, D., AND WADLER, P. Making the future safe for the past: Adding genericity to the Java programming language. In Proc. of OOPSLA (1998), pp. 183-200.
6. Omnicore codeguide. http://www.omnicore.com/codeguide.htm.
7. DE SUTTER, B., TIP, F., AND DOLBY, J. Customization of Java library classes using type constraints and profile information. In Proc. of ECOOP (2004), pp. 585-610.
8. DONOVAN, A., KIEŻUN, A., TSCHANTZ, M., AND ERNST, M. Converting Java programs to use generic libraries. In Proc. of OOPSLA (Vancouver, BC, Canada, 2004), pp. 15-34.
9. DUGGAN, D. Modular type-based reverse engineering of parameterized types in Java code. In Proc. of OOPSLA (1999), pp. 97-113.
10. FOWLER, M. Refactoring. Improving the Design of Existing Code. Addison-Wesley, 1999.
11. GOSLING, J., JOY, B., STEELE, G., AND BRACHA, G. The Java Language Specification (3rd Edition). Addison-Wesley, 2000.
12. JetBrains IntelliJ IDEA, http://www.intellij.com/idea/.
13. IGARASHI, A., PIERCE, B. C., AND WADLER, P. Featherweight Java: a minimal core calculus for Java and GJ. ACM TOPLAS 23, 3 (2001), 396-450.
14. LANGER, A., AND KREFT, K. Arrays in Java Generics. Manuscript http://www.langer.camelot.de.
15. MUNSIL, W. Case study: Converting to Java 1.5 type-safe collections. Journal of Object Technology 3, 8 (2004), 7-14.
16. ODERSKY, M., AND WADLER, P. Pizza into Java: Translating theory into practice. In Proc. of POPL (1997), pp. 146-159.
17. PALSBERG, J., AND SCHWARTZBACH, M. Object-Oriented Type Systems. John Wiley & Sons, 1993.
18. SIFF, M., AND REPS, T. W. Program generalization for software reuse: From C to C++. In Foundations of Software Engineering (1996), pp. 135-146.
19. TIP, F., FUHRER, R., DOLBY, J., AND KIEŻUN, A. Refactoring techniques for migrating applications to generic Java container classes. Tech. Rep. Research Report RC 23238, IBM Research, June 2004.
20. TIP, F., KIEŻUN, A., AND BÄUMER, D. Refactoring for generalization using type constraints. In Proc. of OOPSLA (Anaheim, CA, 2003), pp. 13-26.
21. TORGERSEN, M., HANSEN, C. P., ERNST, E., VON DER AHÉ, P., BRACHA, G., AND GAFTER, N. M. Adding wildcards to the Java programming language. In Proc. of ACM Symposium on Applied Computing (SAC) (Nicosia, Cyprus, 2004), pp. 1289-1296.
22. VITEK, J., HORSPOOL, R. N., AND KRALL, A. Efficient type inclusion tests. In Proc. of OOPSLA (1997), pp. 142-157.
23. SIGPLAN Notices 32(10).
24. VON DINCKLAGE, D., AND DIWAN, A. Converting Java classes to use generics. In Proc. of OOPSLA (Vancouver, BC, Canada, 2004), pp. 1-14.
25. WANG, T., AND SMITH, S. Precise constraint-based type inference for Java. In Proc. of ECOOP (2001), pp. 99-117.