Is structural subtyping useful? an empirical study

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5502, Issue , 2009, Pages 95-111

  Malayeri, Donna ^a   Aldrich, Jonathan ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EMPIRICAL STUDIES; JAVA PROGRAM; MANUAL ANALYSIS; OBJECT-ORIENTED LANGUAGES; OPEN-SOURCE; SUBTYPING;

COMPUTER SOFTWARE; LINGUISTICS; OBJECT ORIENTED PROGRAMMING; QUERY LANGUAGES;

JAVA PROGRAMMING LANGUAGE;

EID: 67650153280     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00590-9_8     Document Type: Conference Paper

References (25)

1. Amadio, R., Cardelli, L.: Subtyping recursive types. ACM TOPLAS 15(4) (1993)
2. Baldi, P., Lopes, C., Linstead, E., Bajracharya, S.: A theory of aspects as latent topics. In: OOPSLA (2008)
3. Bloch, J.: Effective Java, 2nd edn. Addison-Wesley, Reading (2008)
4. Boyland, J., Castagna, G.: Parasitic methods: an implementation of multi-methods for Java. In: OOPSLA 1997, pp. 66-76 (1997) (Pubitemid 127455531)
5. Bracha, G., Griswold, D.: Strongtalk: typechecking Smalltalk in a production environment. In: OOPSLA 1993, pp. 215-230 (1993)
6. Bruce, K., Schuett, A., van Gent, R., Fiech, A.: PolyTOIL: A type-safe polymorphic objectoriented language. ACM Trans. Program. Lang. Syst. 25(2), 225-290 (2003)
7. Cardelli, L.: Structural subtyping and the notion of power type. In: POPL 1988 (1988)
8. Chalin, P., James, P.: Non-null references by default in Java: Alleviating the nullity annotation burden. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol. 4609, pp. 227-247. Springer, Heidelberg (2007)
9. Chambers, C.: Object-oriented multi-methods in Cecil. In: Lehrmann Madsen, O. (ed.) ECOOP 1992. LNCS, vol. 615, pp. 33-56. Springer, Heidelberg (1992)
10. Clifton, C.,Millstein, T., Leavens, G., Chambers, C.:MultiJava: Design rationale, compiler implementation, and applications. ACM TOPLAS 28(3), 517-575 (2006) (Pubitemid 43947938)
11. Fisher, K., Reppy, J.: The design of a class mechanism for Moby. In: PLDI (1999)
12. Forster, F.: Cost and benefit of rigorous decoupling with context-specific interfaces. In: PPPJ 2006, pp. 23-30 (2006) (Pubitemid 47142489)
13. Gil, J., Maman, I.: Micro patterns in Java code. In: OOPSLA 2005, pp. 97-116 (2005)
14. Gil, J., Maman, I.: Whiteoak: Introducing structural typing into Java. In: OOPSLA (2008)
15. Leroy, X., Doligez, D., Garrigue, J., Rémy, D., Vouillon, J.: The Objective Caml system, release 3.10 (2007), http://caml.inria.fr/pub/docs/ manual-ocaml
16. Magnusson, B.: Code reuse considered harmful. Journal of Object-Oriented Programming 4(3) (November 1991)
17. Malayeri, D., Aldrich, J.: Integrating nominal and structural subtyping. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol. 5142, pp. 260-284. Springer, Heidelberg (2008)
18. Malayeri, D., Aldrich, J.: Is structural subtyping useful? An empirical study. Technical Report CMU-CS-09-100, School of Computer Science, Carnegie Mellon University (January 2009)
19. Sun Microsystems. Java collections API design FAQ (2003), http://java.sun.com/j2se/1.4.2/docs/guide/collections/designfaq.html
20. Millstein, T., Chambers, C.: Modular statically typed multimethods. Inf. Comput. 175(1), 76-118 (2002)
21. Muschevici, R., Potanin, A., Tempero, E., Noble, J.:Multiple dispatch in practice. In: OOPSLA 2008 (October 2008)
22. Musser, D., Stepanov, A.: Generic programming. In: Gianni, P. (ed.) An Optimized Translation Process and Its Application to ALGOL 68. LNCS, vol. 38, pp. 13-25. Springer, Heidelberg (1989)
23. Pierce, B.: Types and Programming Languages. MIT Press, Cambridge (2002)
24. Steimann, F.: The infer type refactoring and its use for interface-based programming. Journal of Object Technology 6(2) (2007)
25. Tempero, E.D., Noble, J.,Melton, H.: How do Java programs use inheritance? An empirical study of inheritance in Java software. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol. 5142, pp. 667-691. Springer, Heidelberg (2008)