Article

Free access

Parametric polymorphism for Java: a reflective solution

Authors:

Jose H. Solorzano,

Suad AlagićAuthors Info & Claims

OOPSLA '98: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Pages 216 - 225

https://doi.org/10.1145/286936.286959

Published: 01 October 1998 Publication History

Abstract

A number of inadequacies of existing implementation techniques for extending Java™ with parametric polymorphism are revealed. Homogeneous translations are the most space-efficient but they are not compatible with reflection, some models of persistence, and multiple dispatch. Heterogeneous translations, on the other hand, can potentially produce large amounts of redundant information. Implementation techniques that address these concerns are developed. In languages that support run-time reflection, an adequate implementation of parametric, bounded and F-bounded polymorphism is shown to require (reflective) run-time support. In Java, extensions to the core classes are needed. This is in spite of the fact that parametric polymorphism is intended to be managed statically.

References

[1]

M. Abadi and L. Cardelli. On Subtyping and Matching. In Proceedings of ECOOP '96, Lecture Notes in Computer Science, Springer-Verlag, Vol. 1098, pp. 145-167, 1996.

[2]

M. Atkinson, F. Bancilhon, D. DeWitt, K. Dittrich, D. and S. Zdonik. The Object-Oriented Database System Manifesto. In Proceedings of the First Object-Oriented and Deductive Database Conference, Kyoto, pp. 223-240, 1989.

[3]

M. P. Atkinson and L. Daynes and M. J. Jordan and T. Printezis and S. Spence. An Orthogonally Persistent Java. ACM SIGMOD Record, 25(4), pp. 68-75, 1996.

Digital Library

[4]

O. Agesen, S. N. Freund, J. C. Mitchell. Adding Type Parameterization to the JavaTM Language. Proceedings of OOPSLA '97, pp. 49-65, 1997.

Digital Library

[5]

S. Alagi6. F-bounded Polymorphism for Database Programming Languages. In Proceedings of the 2rid East-West Database Workshop, Workshops in Computing, Springer-Verlag, pp. 125-137, 1994.

[6]

S. Alagi6. The ODMG Object Model: Does it Make Sense? In Proceedings of the OOPSLA Conference, pp. 253-270, ACM, 1997.

Digital Library

[7]

M. Atkinson and R. Morrison. Orthogonally Persistent Object Systems. VLDB Journal, 4, 1995, pp. 319-401.

Digital Library

[8]

S. Alagid, J. H. Solorzano, D. Gitchell. Orthogonal to the Java Imperative. In Proceedings of ECOOP '98, Lecture Notes in Computer Science, 1998 (to appear).

Digital Library

[9]

F. Bancilhon, C. Delobel, and P. Kanellakis (Eds.) Building an Object-Oriented Database System: The Story of 02, Morgan Kauffman, 1992.

Digital Library

[10]

J. A. Bank, B. Liskov, and A. C. Myers. Parameterized Types and Java. Technical Memorandum MIT LCS TM-553, Laboratory for Computer Science, Massachusetts institute of Technology.

Digital Library

[11]

K. Bruce, A. Schuett and R. van Gent. PolyTOIL: a Type- Safe Polymorphic Object Oriented Language. In Proceedings of ECOOP '95, Lecture Notes in Computer Science, Springer- Verlag, Vol. 952, pp. 27-51, 1996.

[12]

P. Canning, W. Cook, W. Hill, J. Mitchell, and W. Olthoff. F-bounded Quantification for Object-Oriented Programming. In : Functional Prog. and Computer Architecture, pp. 273-280, 1989.

Digital Library

[13]

W. R. Cook. A proposal for Making Eiffel Type Safe. The Computer Journal, 4, 1989, pp. 305-311.

Digital Library

[14]

J. Ferber. Computational Reflection in Class-Based Object- Oriented Languages. In Proceedings of the OOPSLA '89 Conference, ACM, pp. 317-26, 1989.

Digital Library

[15]

J. Gosling and B. Joy and G. Steele. The JavaTM Language Specification, Addison-Wesley, 1996.

Digital Library

[16]

D. H. H. Ingalls. A Simple Technique for Handling Multiple Polymorphism. In Proceedings of OOPSLA '86, ACM, pp. 347-349, 1986.

Digital Library

[17]

Java Core Reflection, JDK 1.1, Sun Microsystems, Inc., http://java.sun.com.

[18]

M. Jordan. Early Experiences with Persistent JavaTM. In Proceedings of the First Int. Workshop on Persistence and Java, SUN Microsystems Laboratories, 1996.

[19]

A. Kaplan, G. A. Myrestrand, J. V. E. Ridgway and J. C. Wileden. Our SPIN on Persistent JavaTM: The Java SPIN Approach. Technical Report, University of Massachusetts, Amherst, Computer Science, Number UM-CS-1996-090, December 1996.

Digital Library

[20]

T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison-Wesley, 1996.

Digital Library

[21]

R. Milner. A Theory of Type Polymorphism in Programming. Journal of Comp. Syst. Sc8., Vol. 17, pp. 348-375, 1977.

[22]

B. Meyer. Eiffel: the Language, Prentice-Hall, 1992.

Digital Library

[23]

B. Meyer. Object-Oriented Software Construction, Prentice- Hall, 1997.

Digital Library

[24]

R. Morrison, A. L. Brown, R.C.H Connor and A. Dearie. Napier88 Reference Manual. Universities of Glasgow and St. Andrews Technical Report PPRR-77-89, 1989.

[25]

02 Technology. 02 C Reference Manual, Release 4.6, November 1996.

[26]

M. Odersky and P. Wadler. Pizza into Java: Translating Theory into Practice. Conference Record of POPL '97: The 24th Symposium on Principles of Programming Languages, ACM, 1997, pp. 146-159.

Digital Library

[27]

B. C. Pierce. Bounded Quantification is Undecidable. In Proceedings of the POPL Conference, pp. 305-315, ACM, 1993.

Digital Library

[28]

J. C. Reynolds. Polymorphism is not Set-Theoretic. in Proceedings Intl. Syrup. on the Semantics of Data Types, pp. 27-29, June 1984, Lecture Notes in Computer Science, Vol. 173, pp. 145-156, Springer-Verlag, 1984.

[29]

B. Stroustrup. The C-I-+ Programming Language, Addison- Wesley, 1993.

Digital Library

[30]

US Department of Defense. Reference Manual for the Ada Programming Language, 1980.

Cited By

Ellis SZhu SYoshida NSong L(2022)Generic go to go: dictionary-passing, monomorphisation, and hybridProceedings of the ACM on Programming Languages10.1145/35633316:OOPSLA2(1207-1235)Online publication date: 31-Oct-2022
https://dl.acm.org/doi/10.1145/3563331
Duggan D(2019)Modular type-based reverse engineering of parameterized types in Java codeACM SIGPLAN Notices10.1145/320385.32039334:10(97-113)Online publication date: 28-Feb-2019
https://dl.acm.org/doi/10.1145/320385.320393
Alagić SRoyer M(2008)Genericity in JavaThe VLDB Journal — The International Journal on Very Large Data Bases10.1007/s00778-006-0042-x17:4(847-878)Online publication date: 1-Jul-2008
https://dl.acm.org/doi/10.1007/s00778-006-0042-x
Show More Cited By

Index Terms

Parametric polymorphism for Java: a reflective solution
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types

Recommendations

Parametric polymorphism in Java: an approach to translation based on reflective features
OOPSLA '00: Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

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, ...
Parametric polymorphism for Java: a reflective solution

A number of inadequacies of existing implementation techniques for extending Java™ with parametric polymorphism are revealed. Homogeneous translations are the most space-efficient but they are not compatible with reflection, some models of ...
Parametric polymorphism in Java: an approach to translation based on reflective features

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, ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

OOPSLA '98: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

October 1998

428 pages

ISBN:1581130058

DOI:10.1145/286936

Chairmen:
Bjorn Freeman-Benson
Object Technology International, Victoria, B.C., Canada
,
Craig Chambers
Univ. of Washington, Seattle

ACM SIGPLAN Notices Volume 33, Issue 10
Oct. 1998
412 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/286942
Chairmen:
Bjorn Freeman-Benson
Object Technology International, Victoria, B.C., Canada
,
Craig Chambers
Univ. of Washington, Seattle
Issue’s Table of Contents

Copyright © 1998 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1998

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

OOPSLA98

Sponsor:

SIGPLAN

OOPSLA98: Conference on Object Oriented Programming Systems Languages and Applications

October 18 - 22, 1998

British Columbia, Vancouver, Canada

Acceptance Rates

Overall Acceptance Rate 268 of 1,244 submissions, 22%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

18
Total Citations
View Citations
964
Total Downloads

Downloads (Last 12 months)144
Downloads (Last 6 weeks)42

Reflects downloads up to 03 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Ellis SZhu SYoshida NSong L(2022)Generic go to go: dictionary-passing, monomorphisation, and hybridProceedings of the ACM on Programming Languages10.1145/35633316:OOPSLA2(1207-1235)Online publication date: 31-Oct-2022
https://dl.acm.org/doi/10.1145/3563331
Duggan D(2019)Modular type-based reverse engineering of parameterized types in Java codeACM SIGPLAN Notices10.1145/320385.32039334:10(97-113)Online publication date: 28-Feb-2019
https://dl.acm.org/doi/10.1145/320385.320393
Alagić SRoyer M(2008)Genericity in JavaThe VLDB Journal — The International Journal on Very Large Data Bases10.1007/s00778-006-0042-x17:4(847-878)Online publication date: 1-Jul-2008
https://dl.acm.org/doi/10.1007/s00778-006-0042-x
Eugster P(2007)Type-based publish/subscribeACM Transactions on Programming Languages and Systems10.1145/1180475.118048129:1(6-es)Online publication date: 1-Jan-2007
https://dl.acm.org/doi/10.1145/1180475.1180481
Sasitorn JCartwright RHaddad H(2006)Efficient first-class generics on stock Java virtual machinesProceedings of the 2006 ACM symposium on Applied computing10.1145/1141277.1141656(1621-1628)Online publication date: 23-Apr-2006
https://dl.acm.org/doi/10.1145/1141277.1141656
Weirich SHuang L(2005)A Design for Type-Directed Programming in JavaElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2005.09.014138:2(117-136)Online publication date: 1-Nov-2005
https://dl.acm.org/doi/10.1016/j.entcs.2005.09.014
Cabana BAlagić SFaulkner J(2004)Parametric polymorphism for JavaACM SIGPLAN Notices10.1145/1052883.105288739:12(22-31)Online publication date: 1-Dec-2004
https://dl.acm.org/doi/10.1145/1052883.1052887
Alagić SLogan J(2004)Consistency of Java TransactionsDatabase Programming Languages10.1007/978-3-540-24607-7_6(71-89)Online publication date: 2004
https://doi.org/10.1007/978-3-540-24607-7_6
Cardone RLin CMüller H(2001)Comparing frameworks and layered refinementProceedings of the 23rd International Conference on Software Engineering10.5555/381473.381503(285-294)Online publication date: 1-Jul-2001
https://dl.acm.org/doi/10.5555/381473.381503
Viroli MLamont G(2001)Parametric polymorphism in JavaProceedings of the 2001 ACM symposium on Applied computing10.1145/372202.372785(610-619)Online publication date: 1-Mar-2001
https://dl.acm.org/doi/10.1145/372202.372785
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Figures

Tables

Media

View Table of Conten