Type-safe compilation of covariant specialization: A practical case

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1098, Issue , 1996, Pages 3-25

  Boyland, John ^a   Castagna, Giuseppe ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b ECOLE NORMALE SUPÉRIEURE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; OBJECT-ORIENTED DATABASES; PROGRAM COMPILERS; SEMANTICS;

BACKWARD COMPATIBLE; COVARIANT; THEORETIC ANALYSIS; TYPE ERRORS; TYPE SAFETY;

OBJECT ORIENTED PROGRAMMING;

EID: 0013420264     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0053054     Document Type: Conference Paper

References (22)

1. E. Amiel, M.-J. Bellosta, E. Dujardin, and E. Simon. Type-safe relaxing of schema consistency rules for flexible modelling in OODBMS. Very Large Databases Journal, 5(2): 108-119, April 1996.
2. R. Agrawal, L. DeMichiel, and B. Lindsay. Static type checking of multi-methods. ACM SIGPLAN Notices, 26(U):113-128, 1991. Proceedings of OOPSLA'91.
3. K. Bruce, L. Cardelli, G. Castagna, The Hopkins Object Group, G. Leavens, and B. Pierce. On binary methods. Theory and Practice of Object Systems, 1(3), 1996.
4. 2. Morgan Kaufmann, 1992.
5. M. F. Barrett and M. E. Giguere. A note on covariance and contravariance unification. ACM SIGPLAN Notices, 31(l):32-35, Jan. 1996.
6. A. Black, N. Hutchinson, E. Jul, and H. Levy. Object structure in the Emerald system. In Norman Meyrowitz, editor, OOPSLA '86 Conference Proceedings, volume 21(11) of SIGPLAN Notices pages 347-349, Nov. 1986.
7. K.B. Bruce. A paradigmatic object-oriented programming language: Design, static typing and semantics. Journal of Functional Programming, 4(2): 127-206, 1994.
8. L. Cardelli. A semantics of multiple inheritance. Information and Computation, 76:138-164, 1988.
9. A previous version can be found in Semantics of Data Types, LNCS 173, 51-67, Springer-Verlag, 1984.
10. G. Castagna. Covariance and contravariance: conflict without a cause. ACM Transactions on Programming Languages and Systems, 17(3):431-447, 1995.
11. G. Castagna. A meta-language for typed object-oriented languages. Theoretical Computer Science, 151(2):297-352, Nov. 1995.
12. G. Castagna. Object-Oriented Programming: A Unified Foundation. Progress in Theoretical Computer Science. Birkauser, Boston, 1996.
13. G. Castagna, G. Ghelli, and G. Longo. A calculus for overloaded functions with sub-typing. Information and Computation, 117(1): 115-135, 1995.
14. A preliminary version was presented at the 1992 ACM Conference on LISP and Functional Programming, San Francisco, June 1992.
15. C. Chambers and G. Leavens. Typechecking and modules for multi-methods. ACM Transactions on Programming Languages and Systems, 17(6);805-843, Nov. 1995.
16. W. Cook. Object-oriented programming versus abstract data types. In J. W. de Bakker, W. P. de Roever, and G. Rozenberg, editors Foundations of Object-Oriented Languages, REX School/Workshop, volume 489 of LNCS, pages 151-178. Springer-Verlag, 1991.
17. L.G. DeMichiel and R. P. Gabriel. Common Lisp Object System overview. In Bezivin, Hullot, Cointe, and Lieberman, editors, ECOOP '87 Conference Proceedings, volume 276 of LNCS, pages 151-170. Springer-Verlag, 1987.
18. A. Goldberg and D. Robson. Smalltalk-80: The Language and Its Implementation. Addison-Wesley, Reading, Mass., 1983.
19. D. H. H. Ingalls. A simple technique for handling multiple polymorphism. In Norman Meyrowitz, editor, OOPSLA '86 Conference Proceedings, volume 21(11) of SIGPLAN Notices, pages 347-349, Nov. 1986.
20. Beitrand Meyer. Eiffel: The Language. Prentice-Hall, 1991.
21. Beitrand Meyer. Object-Oriented Software Construction. Prentice-Hall, 2nd edition, to appear 1996.
22. W. B. Mugridge, J. G. Hosking, and J. Hamer. Multi-methods in a statically-typed programming language. In P. America, editor, ECOOP '91 Conference Proceedings, volume 512 of LNCS, pages 307-324. Springer-Verlag, 1991.