In European Conf. on Object-Oriented Progr. (ECOOP'96), Lecture Notes in...  Home/Search
Context
Related
| ens.fr/pub/dmi/users/castagna...o2.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dmi.ens.fr/equipes/...biblioabst (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Despite its lack of type safety, some typed object-oriented languages use covariant specialization for methods. In this work, we show how one may modify the semantics of languages that use covariant specialization in order to improve their type safety. We demonstrate our technique using O 2 , a strongly and statically typed object-oriented database programming language which uses covariant specialization. We propose a modification to the O 2 compiler that adds code to correct previously... (Update)
Similar documents (at the sentence level):
66.7%: Specialization: A Practical Case - John Boyland Giuseppe (Correct)
27.4%: Sous-Typage Et Programmation Orientée à Objets - Castagna (Correct)
Active bibliography (related documents): More All
0.6: Type System of an Object-Oriented Database Programming.. - Leontiev, Özsu, Szafron (1999) (Correct)
0.2: Rule Inheritance and Overriding in Active.. - Chaudhry, Moyne.. (Correct)
0.2: Management of Schema Versions and Versions of Schema.. - Bellosta, Wrembel.. (1996) (Correct)
Similar documents based on text: More All
0.1: Parasitic Methods: An Implementation of Multi-Methods for Java - Boyland, Castagna (1997) (Correct)
0.1: Tree Schemata and Fair Termination - Laurent Mauborgne Liens (Correct)
0.1: Foundations of Object-Oriented Languages - 2nd Workshop report - Castagna, Leavens (1994) (Correct)
BibTeX entry: (Update)
@misc{ european-typesafe,
author = "In European",
title = "Type-Safe Compilation of Covariant Specialization: A Practical Case",
url = "citeseer.ist.psu.edu/80119.html" }
Citations (may not include all citations):1274 Object-Oriented Software Construction (context) - Meyer - 1996
492 Smalltalk-80: The Language and Its Implementation (context) - Goldberg, Robson - 1983
342 Eiffel: The Language (context) - Meyer - 1991
148 Object structure in the Emerald system (context) - Black, Hutchinson et al. - 1986
88 Theory and Practice of Object Systems (context) - Bruce, Cardelli et al. - 1996
75 A paradigmatic object-oriented programming language: Design - Bruce - 1994
68 Covariance and contravariance: conflict without a cause - Castagna - 1995
63 Static type checking of multi-methods - Agrawal, DeMichiel et al. - 1991
52 A simple technique for handling multiple polymorphism (context) - Ingalls - 1986
44 Common Lisp Object System overview (context) - DeMichiel, Gabriel - 1987
43 Object-Oriented Programming: A Unified Foundation (context) - Castagna - 1996
40 Object-oriented programming versus abstract data types (context) - Cook - 1991
26 ACM Transactions on Programming Languages and Systems (context) - Chambers, Leavens et al. - 1995
11 Implementing an ObjectOriented Database System: The Story o (context) - Bancilhon, Delobel et al. - 1992
10 A meta-language for typed object-oriented languages - Castagna - 1995
4 Type-safe relaxing of schema consistency rules for flexible .. - Amiel, Bellosta et al. - 1996
2 ACM SIGPLAN Notices (context) - Barrett, Giguere et al. - 1996
Documents on the same site (http://www.dmi.ens.fr/equipes/lambda/biblio/biblio-abst.html): More
A Calculus for Overloaded Functions with Subtyping.. - Castagna, Ghelli, Longo (Correct)
Programmation Modulaire Avec Surcharge Et Liaison Tardive - Aponte, Castagna (1996) (Correct)
A Meta-Language for Typed Object-Oriented Languages - Giuseppe Castagna (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC