The Infer Type refactoring and its use for interface-based programming

Journal of Object Technology

Volumn 6, Issue 2, 2007, Pages 99-120

  Steimann, Friedrich ^a  

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33847626626     PISSN: None     EISSN: 16601769     Source Type: Journal    
DOI: 10.5381/jot.2007.6.2.a5     Document Type: Conference Paper

References (28)

1. B Alpern et al. "Efficient implementation of Java interfaces: Invokeinterface considered harmless" in: OOPSLA (2001) 108-124.
2. VR Basili, G Caldiera, D Rombach. "The goal question metric approach" in: Encyclopedia of Software Engineering (John Wiley & Sons, 1994).
3. PS Canning, WR Cook, WL Hill, WG Olthoff "Interfaces for strongly-typed object-oriented programming" in: Proc. of OOPSLA (1989) 457-467.
4. SR Chidamber, CF Kemerer "A metrics suite for object oriented design" IEEE TSE 20:6 (1994) 476-493.
5. J Dean, D Grove, C Chambers "Optimization of object-oriented programs using static class hierarchy analysis" in: Proc. of ECOOP (1995) 77-101.
6. F Forster "Cost and benefit of rigorous decoupling with context-specific interfaces" in: Proc. of PPPJ (2006) 23-30.
7. M Fowler Refactoring: Improving the Design of Existing Code (Addison-Wesley 1999).
8. M Fowler "Inversion of control containers and the Dependency Injection pattern" http://www.martinfowler.com/articles/injection. html.
9. E Gamma, R Helm, R Johnson, J Vlissides Design Patterns - Elements of Reusable Software (Addison-Wesley, 1995).
10. J Gößner, P Mayer, F Steimann "Interface utilization in the JAVA Development Kit" in: Proc. of SAC 2004 (ACM, 2004) 1310-1315.
11. B Henderson-Sellers Object-Oriented Metrics: Measures of Complexity (Prentice Hall 1996).
12. Infer Type documentation http://www.fernuni-hagen.de/ps/prjs/ InferType.
13. UP Khedker, DM Dhamdhere, A Mycroft "Bidirectional data flow analysis for type inferencing" Computer Languages, Systems & Structures 29:1-2 (2003) 15-44.
14. K Läufer, G Baumgartner, VF Russo "Safe structural conformance for JAVA" The Computer Journal 43:6 (2000) 469-481.
15. RC Martin "The Interface Segregation Principle" http://www.objectmentor.com/resources/articles/isp.pdf (1996).
16. Microsoft C# Language Specification (http://msdn.microsoft.com/)
17. WF Opdyke, RE Johnson "Creating abstract superclasses by refactoring" in: ACM Conf. on Computer Science (1993) 66-73.
18. J Palsberg, MI Schwartzbach "Object-oriented type inference" in: Proc. of OOPSLA (1991) 146-161.
19. T Pattison Programming Distributed Applications with COM & Microsoft Visual Basic (Microsoft Press, 2000).
20. G Snelting, F Tip "Understanding class hierarchies using concept analysis" ACM TOPLAS 22:3 (2000) 540-582.
21. F Steimann "Role = Interface: a merger of concepts" Journal of Object-Oriented Programming 14:4 (2001) 23-32.
22. F Steimann, W Siberski, T Kühne "Towards the systematic use of interfaces in Java programming" in: Proc. of PPPJ (ACM, 2003) 13-17.
23. F Steimann, P Mayer "Patterns of interface-based programming" Journal of Object Technology 4:5 (2005) 75-94.
24. M Streckenbach, G Snelting "Refactoring class hierarchies with KABA" in: Proc. of OOPSLA (2004) 315-330.
25. F Tip, A Kiezun, D Bäumer "Refactoring for generalization using type constraints" in: Proc. of OOPSLA (2003) 13-26.
26. F Tip, PF Sweeney "Class hierarchy specialization" Acta Informtica 36:12 (2000) 927-982.
27. F Tip, P F Sweeney, C Laffra, A Eisma, D Streeter "Practical extraction techniques for JAVA" ACM TOPLAS 24:6 (2002) 625-666.
28. T Wang, SF Smith "Precise constraint-based type inference for JAVA" in: Proc. of ECOOP (2001) 99-117.