Parametric polymorphism in Java: an approach to translation based on reflective features

ABSTRACT

The introduction of parametric polymorphism in Java with translation approaches has been shown to be of considerable interest, allowing the definition of extensions of Java on top of the existing Virtual Machines. Homogeneous translations furthermore, seem to be more useful than heterogeneous, avoiding the continuous increase of library code with redundant information. At this time however, homogeneous approaches aren't as flexible as heterogeneous, with extensions failing to integrate well with base language typing. In this paper, using some of the features of the Core Reflection of Java, we introduce a homogeneous translation in which run-time information about instantiation of type-parameters is carried, allowing full integration of parame-terized types with Java typing. Performance overhead is greatly decreased using a brand new translation technique based on the deferring of the management of type information at load-time. The same power and flexibility of previous heterogeneous approaches is obtained while maintaining homogeneous translation advantages.

REFERENCES

• 1: Ole Agesen , Stephen N. Freund , John C. Mitchell, Adding type parameterization to the Java language, Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.49-65, October 05-09, 1997, Atlanta, Georgia, United States
• 2: Kim B. Bruce , Martin Odersky , Philip Wadler, A Statically Safe Alternative to Virtual Types, Proceedings of the 12th European Conference on Object-Oriented Programming, p.523-549, July 20-24, 1998
• 3: Robert Cartwright , Guy L. Steele, Jr., Compatible genericity with run-time types for the Java programming language, Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.201-215, October 18-22, 1998, Vancouver, British Columbia, Canada
• 4: Atshushi Igarashi , Benjamin Pierce , Philip Wadler, Featherwieght Java: a minimal core calculus for Java and GJ, Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.132-146, November 01-05, 1999, Denver, Colorado, United States
• 5: Bertrand Meyer, Genericity versus inheritance, Conference proceedings on Object-oriented programming systems, languages and applications, p.391-405, September 29-October 02, 1986, Portland, Oregon, United States
• 6: Joseph A. Bank , Andrew C. Myers , Barbara Liskov, Parameterized types for Java, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.132-145, January 15-17, 1997, Paris, France [doi>10.1145/263699.263714]
• 7: M. Odersky, E. Runne, and P. Wadler. Two ways to bake your Pizza - Translating parameterized types into Java. Technical Report CIS- 97-016, University of South Australia, 1997.
• 8: Martin Odersky , Philip Wadler, Pizza into Java: translating theory into practice, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.146-159, January 15-17, 1997, Paris, France [doi>10.1145/263699.263715]
• 9: Gilad Bracha , Martin Odersky , David Stoutamire , Philip Wadler, Making the future safe for the past: adding genericity to the Java programming language, Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.183-200, October 18-22, 1998, Vancouver, British Columbia, Canada
• 10: Monica Pawlan, Essentials of the Java programming language: a hands-on guide, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2000
• 11: W. R.Cook. A proposal for making Eiffel type-safe. In Euopean Conference on Object Oriented Programming, pages 52-72, October 1989.
• 12: Jose H. Solorzano , Suad Alagić, Parametric polymorphism for Java: a reflective solution, Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.216-225, October 18-22, 1998, Vancouver, British Columbia, Canada
• 13: K. K. Thorup. Genericity in Java with virtual types. In European Conference on Object-Oriented Programming, pages 444-471. LNCS 1241, Springer-Verlag, June 1997.
• 14: Kresten Krab Thorup , Mads Torgersen, Unifying Genericity - Combining the Benefits of Virtual Types and Parameterized Classes, Proceedings of the 13th European Conference on Object-Oriented Programming, p.186-204, June 14-18, 1999
• 15: M. Torgersen. Virtual types are statically safe. In 5th Workshop on Foundations of Object-Oriented Languages, January 1998.
• 16: M. Viroli. On the recursive generation of parametric types. Technical Report DEIS-LIA- 00-002, DEIS - University of Bologna, 2000.
• 17: M. Viroli and A. Natali. Parametric polymorphism in Java through homogeneous translation LM: Gathering type descriptors at load-time. Technical Report DEIS-LIA- 00-001, DEIS - University of Bologna, 2000.
• 18: G. Voss. Java Beans Tutorial, Part 4, Reflection and Introspection. Sun Mycrosystems, Inc., http://java.sun.com.

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: Java

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

General Terms:
Design, Languages, Measurement, Performance, Theory