Efficient first-class generics on stock Java virtual machines

Proceedings of the ACM Symposium on Applied Computing

Volumn 2, Issue , 2006, Pages 1621-1628

  Sasitorn, James ^a   Cartwright, Robert ^a  

^a RICE UNIVERSITY   (United States)

Author keywords

Custom class loader; First class generics; Java implementation; Parametric polymorphism; Type erasure

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SIMULATION; ERROR ANALYSIS; PROGRAM COMPILERS; VIRTUAL REALITY;

CUSTOM CLASS LOADERS; FIRST-CLASS GENERICS; JAVA IMPLEMENTATION; PARAMETRIC POLYMORPHISM; TYPE ERASURE;

JAVA PROGRAMMING LANGUAGE;

EID: 33751043658     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1141277.1141656     Document Type: Conference Paper

References (13)

1. E. Allen, J. Bannet, and R. Cartwright. Mixins in Generic Java are sound. Technical report, Rice University, 2003.
2. E. Allen and R. Cartwright. The case for run-time types in Generic Java. In Principles and Practice of Programming in Java, 2002.
3. E. Allen, R. Cartwright, and B. Stoler. DrJava: A lightweight pedagogic environment for Java. In SIGCSE, 2002.
4. E. Allen, R. Cartwright, and B. Stoler. Efficient implementation of run-time generic types for Java. In IFIP WG2.1 Working Conference, on Generic Programming, 2002.
5. G. Bracha, M. Odersky, D. Stoutamire, and P. Wadler. Making the future safe for the past: Adding genericity to the Java programming language. In C. Chambers, editor, ACM Symposium on Object Oriented Programming: Systems, Languages, and Applications (OOPSLA), pages 183-200, Vancouver, BC, 1998.
6. R. Cartwright and G. L. Steele, Jr. Compatible genericity with run-time types for the Java programming language. In C. Chambers, editor, ACM Symposium on Object Oriented Programming: Systems, Languages, and Applications (OOPSLA), Vancouver, British Columbia, pages 201-215. ACM, 1998.
7. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
8. A. Kennedy and D. Syme. Design and implementation of generics for the .net common language runtime. In PLDI, 2001.
9. S. Microsystems. Sun Microsystems, Inc. JSR 14: Add generic types to the Java Programming Language, 2001.
10. M. Odersky and P. Wadler. Pizza into Java: Translating theory into practice. In Proceedings of the 24th ACM Symposium on Principles of Programming Languages (POPL'97), Paris, France, pages 146-159. ACM Press, New York (NY), USA, 1997.
11. J. H. Solorzano and S. Alagić. Parametric polymorphism for java: a reflective solution. In OOPSLA '98: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 216-225, New York, NY, USA, 1998. ACM Press.
12. M. Viroli. Parametric polymorphism in Java: an efficient implementation for parametric methods. In Selected Areas in Cryptography, pages 610-619, 2001.
13. M. Viroli and A. Natali. Parametric polymorphism in Java: an approach to translation based on reflective features. ACM SIGPLAN Notices, 35(10):146-165, 2000.