Refactoring for generalization using type constraints

ACM SIGPLAN Notices

Volumn 38, Issue 11, 2003, Pages 13-26

  Tip, Frank ^a   Kiezun, Adam ^b   Bäumer, Dirk ^c  

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

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^c IBM RESEARCH ZURICH   (Switzerland)

Author keywords

Class hierarchy; Program analysis; Refactoring; Subtyping; Type constraints

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SOFTWARE MAINTENANCE; COMPUTER SOFTWARE SELECTION AND EVALUATION; JAVA PROGRAMMING LANGUAGE; PROGRAM COMPILERS; PROGRAM DIAGNOSTICS; REVERSE ENGINEERING; SEMANTICS;

CLASS HIERARCHY; PROGRAM ANALYSIS; REFRACTORING; SUBTYPING; TYPE CONSTRAINTS;

SOFTWARE ENGINEERING;

EID: 1442313196     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/949343.949308     Document Type: Conference Paper

References (22)

1. Bäumer, D., Gamma, E., and Kiezun, A. Integrating refactoring support into a Java development tool. In OOPSLA'01 Companion (October 2001).
2. Beck, K. Extreme Programming Explained: Embrace Change. Addison-Wesley, 2000.
3. Carlos, C. S. The elimination of overheads due to type annotations and the identification of candidate refactorings. Master's thesis, North Carolina State University, 2002.
4. Duggan, D. Modular type-based reverse engineering of parameterized types in java code. In Proceedings of the 14th Annual Conference on Object-Oriented Systems, Languages, and Applications (OOPSLA'99) (Denver, CO, November 1999), pp. 97-113.
5. Eclipse.org. Eclipse. On-line at www.eclipse.org.
6. Fowler, M. Refactoring. Improving the Design of Existing Code. Addison-Wesley, 1999.
7. Gagnon, E. M., Hendren, L. J., and Marceau, G. Efficient inference of static types for Java bytecode. In Proceedings of SAS'00, International Static Analysis Symposium (2000), Springer-Verlag (LNCS 1824), pp. 199-219.
8. Gamma, E., Helm, R., Johnson, R., and Vlissides, J. Design Patterns. Elements of Reusable Object-Oriented Software. Addison-Wesley, 1994.
9. Glew, N., and Palsberg, J. Type-safe method inlining. In Proceedings of the 16th European Conference on Object-Oriented Programming (ECOOP 2002) (Málaga, Spain, June 2002), pp. 525-544. Springer-Verlag LNCS 2374.
10. Gosling, J., Joy, B., Steele, G., and Bracha, G. The Java Language Specification (Second Edition). Addison-Wesley, 2000.
11. Halloran, T. J., and Scherlis, W. L. Models of Thumb: Assuring best practice source code in large Java software systems. Tech. Rep. Fluid Project, School of Computer Science/ISRI, Carnegie Mellon University, Sept. 2002.
12. JETBRAINS, Inc. IntelliJ IDEA. On-line at www.intellij.com
13. Meyer, B. Object-Oriented Software Construction. Prentice Hall, Inc., 1997.
14. Opdyke, W. F., and Johnson, R. E. Creating abstract superclasses by refactoring. In The ACM 1993 Computer Science Conf. (CSC'93) (February 1993), pp. 66-73.
15. Opdyke, W. F. Refactoring Object-Oriented Frameworks. PhD thesis, University of Illinois at Urbana-Champaign, 1992.
16. Palsberg, J., and Schwartzbach, M. Object-Oriented Type Systems. John Wiley & Sons, 1993.
17. Palsberg, J. Efficient inference of object types. Information and Computation 123, 2 (1995), 198-209.
18. Seguin, C. Refactoring tool challenges in a strongly typed language. In OOPSLA '00 Companion (October 2000), pp. 101-102.
19. Snelting, G., and Tip, F. Reengineering class hierarchies using concept analysis. In Proc. ACM SIGSOFT Symposium on the Foundations of Software Engineering (Orlando, FL, November 1998), pp. 99-110.
20. Snelting, G., and Tip, F. Understanding class hierarchies using concept analysis. ACM Trans. on Programming Languages and Systems (May 2000), 540-582.
21. Tip, F., and Sweeney, P. Class hierarchy specialization. Acta Informatica 36 (2000), 927-982.
22. Tokuda, L., and Batory, D. Evolving object-oriented designs with refactorings. Kluwer Journal of Automated Software Engineering (August 2001), 89-120.