Parametric Polymorphism for Java™: A Reflective Solution

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 33, Issue 10, 1998, Pages 216-225

  Solorzano, Jose H ^a   Alagić, Suad ^a  

^a Wichita State University   (United States)

Author keywords

Language design and implementation; Persistence; Reflection; Research Experience

Indexed keywords

EID: 0347038693     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/286942.286959     Document Type: Article

References (31)

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.
4. O. Agesen, S. N. Freund, J. C. Mitchell. Adding Type Parameterization to the Java™ Language. Proceedings of OOPSLA '97, pp. 49-65, 1997.
5. S. Alagié. F-bounded Polymorphism for Database Programming Languages. In Proceedings of the 2nd East-West Database Workshop, Workshops in Computing, Springer-Verlag, pp. 125-137, 1994.
6. S. Alagić. The ODMG Object Model: Does it Make Sense? In Proceedings of the OOPSLA Conference, pp. 253-270, ACM, 1997.
7. M. Atkinson and R. Morrison. Orthogonally Persistent Object Systems. VLDB Journal, 4, 1995, pp. 319-401.
8. S. Alagić, J. H. Solorzano, D. Gitchell. Orthogonal to the Java Imperative. In Proceedings of ECOOP '98, Lecture Notes in Computer Science, 1998 (to appear).
9. 2, Morgan Kauffman, 1992.
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.
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.
13. W. R. Cook. A proposal for Making Eiffel Type Safe. The Computer Journal, 4, 1989, pp. 305-311.
14. J. Ferber. Computational Reflection in Class-Based Object-Oriented Languages. In Proceedings of the OOPSLA '89 Conference, ACM, pp. 317-26, 1989.
15. J. Gosling and B. Joy and G. Steele. The Java™ Language Specification, Addison-Wesley, 1996.
16. D. H. H. Ingalls. A Simple Technique for Handling Multiple Polymorphism. In Proceedings of OOPSLA '86, ACM, pp. 347-349, 1986.
17. Java Core Reflection, JDK 1.1, Sun Microsystems, Inc., http://java.sun.com.
18. M. Jordan. Early Experiences with Persistent Java™. 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 Java™: The Java SPIN Approach. Technical Report, University of Massachusetts, Amherst, Computer Science, Number UM-CS-1996-090, December 1996.
20. T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison-Wesley, 1996.
21. R. Milner. A Theory of Type Polymorphism in Programming. Journal of Comp. Syst. Scs., Vol. 17, pp. 348-375, 1977.
22. B. Meyer. Eiffel: the Language, Prentice-Hall, 1992.
23. B. Meyer. Object-Oriented Software Construction, Prentice-Hall, 1997.
24. R. Morrison, A. L. Brown, R.C.H Connor and A. Dearle. Napier88 Reference Manual. Universities of Glasgow and St. Andrews Technical Report PPRR-77-89, 1989.
25. 2C 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.
27. B. C. Pierce. Bounded Quantification is Undecidable. In Proceedings of the POPL Conference, pp. 305-315, ACM, 1993.
28. J. C. Reynolds. Polymorphism is not Set-Theoretic. In Proceedings Intl. Symp. 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. J. C. Reynolds. Polymorphism is not Set-Theoretic. In Proceedings Intl. Symp. on the Semantics of Data Types, pp. 27-29, June 1984, Lecture Notes in Computer Science, Vol. 173, pp. 145-156, Springer-Verlag, 1984.
30. B. Stroustrup. The C++ Programming Language, Addison-Wesley, 1993.
31. US Department of Defense. Reference Manual for the Ada Programming Language, 1980.