A type-passing approach for the implementation of parametric methods in Java

Computer Journal

Volumn 46, Issue 3, 2003, Pages 263-294

  Viroli, Mirko ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SOFTWARE REUSABILITY; DATA STORAGE EQUIPMENT; DATA STRUCTURES; JAVA PROGRAMMING LANGUAGE; RESPONSE TIME (COMPUTER SYSTEMS);

PARAMETRIC METHODS; PARAMETRIC POLYMORPHISM; RUN TIME EFFICIENCY; TYPE PASSING TECHNIQUE; VIRTUAL PARAMETRIC METHODS TABLE;

OBJECT ORIENTED PROGRAMMING;

EID: 0037853268     PISSN: 00104620     EISSN: None     Source Type: Journal    
DOI: 10.1093/comjnl/46.3.263     Document Type: Article

References (42)

1. Abadi, M. and Cardelli, L. (1996) A Theory of Objects. Springer-Verlag, Berlin.
2. Bruce, K. B. (1994) A paradigmatic object-oriented programming language: design, static typing and semantics. J. Funct. Program., 4, 127-206.
3. Pierce, B. C. and Turner, D. N. (1994) Simple type-theoretic foundations for object-oriented programming. J. Funct. Program., 4, 207-247.
4. Cardelli, L. and Wegner, P. (1985) On understanding types, data abstractions, and polymorphism. ACM Comput. Surveys, 17, 471-522.
5. Igarashi, A., Pierce, B. C. and Wadler, P. (2001) Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Languages Syst., 23, 396-450.
6. Gehani, N. (1983) Ada: An Advanced Introduction. Prentice-Hall, Englewood Cliffs, NJ.
7. Ellis, M. and Stroustroup, B. (1990) The Annotated C++. Addison-Wesley, New York.
8. Milner, R. (1984) A proposal for Standard ML. In Symposium on Lisp and Functional Programming, Austin, Texas, August 5-8, pp. 184-197. ACM, New York.
9. Ullman, J. D. (1994) Elements of ML programming. Prentice-Hall, New York.
10. Plauger, P. J., Stepanov, A., Lee, M. and Musser, D. (1996) The Standard Template Library. Prentice-Hall, New York.
11. Campione, M. et al. (1999) The Java (TM) Tutorial: The Rest of the JDK(TM). Addison-Wesley, New York.
12. Steel, G. L. (1999) Growing a language. J. Higher-Order Symbolic Comput., 12, 221-236.
13. JSR-000014 (1998) Adding Generics to the JavaTM Programming Language. Sun Microsystems, Palo Alto, CA, http://jcp.org/jsr/detail/014.jsp.
14. Bruce, K. B., Ordersky, M. and Wadler, P. (1998) A statically safe alternative to virtual types. In Eur. Conf. on Object-Oriented Programming, Brussels, Belgium, July 20-24. Lecture Notes in Computer Science, 1445, pp. 523-549. Springer-Verlag, Berlin.
15. Torgersen, M. (1998) Virtual types are statically safe. In 5th Workshop on Foundations of Object-Oriented Languages, San Diego, USA, January 17-18, pp. 1-9. INRIA, Sophia Antipolis, France. http://pauillac.inria.fr/~remy/fool/program.html.
16. Thorup, K. K. and Torgersen, M. (1999) Unifying genericity-combining the benefits of virtual types and parameterized types. In Eur. Conf. on Object-Oriented Programming, Lisbon, Portugal, June 14-18. Lecture Notes in Computer Science, 1628, pp. 186-204. Springer-Verlag, Berlin.
17. Agesen, O., Freund, S. and Mitchell, J. C. (1997) Adding parameterized types to Java. In Conf. on Object-Oriented Programming, Systems, Languages and Applications, Atlanta, Georgia, October 5-9, pp. 215-230. ACM, New York.
18. Meyers, A. C., Bank, J. A. and Liskov, B. (1997) Parameterized types for Java. In Symp. on Principles of Programming Languages, Paris, France, January 15-17, pp. 132-145. ACM, New York.
19. Solorzano, J. H. and Alagic, S. (1998) Parametric polymorphism for Java: a reflective solution. In Conf. on Object-Oriented Programming, Systems, Languages and Applications, Vancouver, British Columbia, Canada, October 18-22, pp. 216-225. ACM, New York.
20. Odersky, M., Wadler, P., Bracha, G. and Stoutamire, D. (1998) Making the future safe for the past: Adding genericity to the Java programming language. In Conf. on Object-Oriented Programming, Systems, Languages and Applications, Vancouver, British Columbia, Canada, October 18-22, pp. 183-200. ACM, New York.
21. Cartwright, C. and Steele, G. (1998) Compatible genericity with run-time types for the Java programming language. In Conf. on Object-Oriented Programming, Systems, Languages and Applications, Vancouver, Canada, October 18-22, pp. 201-215. ACM, New York.
22. Viroli, M. and Natali, A. (2000) Parametric Polymorphism in Java: an approach to translation based on reflective features. In Conf. on Object-Oriented Programming, Systems, Languages and Applications, Minneapolis, USA, October 15-19, pp. 146-165. ACM, New York.
23. Odersky, M. and Wadler, P. (1997) Pizza into Java: translating theory into practice. In Symp. on Principles of Programming Languages, Paris, France, January 15-17, pp. 146-159, ACM, New York.
24. Odersky, M., Runne, E. and Wadler, P. (1997) CIS-97-016 Two ways to bake your Pizza-Translating parameterized types into Java. University of South Australia, Adelaide, Australia.
25. Viroli, M. (2001) Parametric polymorphism in Java: an efficient implementation for parametric methods. In Symp. on Applied Computing, Las Vegas, NV, March 11-14, pp. 610-619. ACM, New York.
26. JSR-000014-PR (2001) Adding Generics to the JavaTM Programming Language: Public Review. Sun Microsystems, Palo Alto, CA http://jcp.org/aboutJava/communityprocess/review/jsr014/index.html.
27. Voss, G. (1998) Java Beans Tutorial, Part 4, Reflection and Introspection. Sun Microsystems, Palo Alto, CA. http://developer.java.sun.com/developer/onlineTraining/Beans/Beans4/.
28. Alagic, S. and Nguyen, T. (2000) Parametric polymorphism and orthogonal persistence. In Objects and Databases: International Symposium, Sophia Antipolis, France, June 13, Lecture Notes in Computer Science, 1944, pp. 32-46. Springer-Verlag, Berlin.
29. Viroli, M. (2001) From FGJ to Java according to LM translator. In Workshop on Formal Techniques for Java Programs, Budapest, Hungary, June 18. FernÜniversitat, Hagen, Germany. http://www.informatik.fernuni-hagen.de/import/pi5/workshops/ecoop2001_papers. html.
30. Syme, D. and Kennedy, A. (2001) Design and implementation of generics for the .NET Common Language Runtime. In Programming Languages Design and Implementation, Snowbird, Utah, June 20-22. ACM, New York.
31. Wirth, N. (1988) Type extensions. ACM Transactions on Programming Languages and Systems, 10, 204-214.
32. Vitek, J., Horspool, R. N. and Krall, A. (1997) Efficient type inclusion tests. In Conf. on Object-Oriented Programming, Systems, Languages and Applications, Atlanta, Georgia, October 5-9, pp. 128-145. ACM, New York.
33. Raynaud, O. and Eric, T. (2000) A quasi optimal bit-vector encoding of tree hierarchies. Application to efficient type inclusion tests. In Eur. Conf. on Object-Oriented Programming, Cannes, France, June 12-16. Lecture Notes in Computer Science, 1850, pp. 129-153. Springer-Verlag, Berlin.
34. Igarashi, A. and Viroli, M. (2002) On variance-based subtyping for parametric types. In Eur. Conf. on Object Oriented Programming, Malaga, Spain, June 10-14. Lecture Notes in Computer Science, 2374, pp. 441-469, Springer-Verlag, Berlin.
35. Igarashi, A., Pierce, B. C. and Wadler, P. (2001) A recipe for raw types. In 8th Workshop on Foundations of Object-Oriented Languages, London, England, January 20, pp. 1-18. University of Pennsylvania, Philadelphia, PA. http://www.cis.upenn.edu/bcpierce/FOOL/FOOL8.html.
36. Wadler, P. and Blott, S. (1989) How to make ad hoc polymorphism less ad hoc. In Symp. on Principles of Programming Languages, Austin, Texas, January 11-13, pp. 60-76. ACM, New York.
37. Peterson, J. and Jones, M. P. (1993) Implementing type classes. In Conf. on Programming Language Design and Implementation, Albuquerque, New Mexico, June 23-25, pp. 227-236. ACM, New York.
38. Tolmach, A. (1994) Tag-free garbage collection using explicit type parameters. In Conf. on Lisp and Functional Programming, Orlando, Florida, June 27-29, pp. 1-11. ACM, New York.
39. Minamide, Y. (1997) Full Lifting of Type Parameters. Kyoto University, Kyoto, Japan. http://www.kurims.kyoto-u.ac.jp/~cs/theses-e.html.
40. Gamma, E., Helm, R., Johnson, R. and Vlissides, J. (1994) Design Patterns. Elements of Reusable Object-Oriented Software. Addison-Wesley, New York.
41. Ancona, D., Lagorio, G., and Zucca, E. (2002) A formal framework for Java separate compilation. In Eur. Conf. on Object Oriented Programming, Malaga, Spain, June 10-14. Lecture Notes in Computer Science, 2374, pp. 609-636. Springer-Verlag, Berlin.
42. Igarashi, A. and Pierce, B. C. (2000) On inner classes. In Eur. Conf. on Object-Oriented Programming, Cannes, France, June 12-16. Lecture Notes in Computer Science, 1850, pp. 129-153. Springer-Verlag, Berlin.