Searching for "Inheritance-Based Subtyping." – sorted by Relevance.
-
Inheritance-Based Subtyping
- Inheritance-based subtyping Kathleen Fisher AT&T Labs, Research kfisher@(email omitted); John
- Cited by 7 (0 self) – Add To MetaCart
-
Inheritance-Based Subtyping
- Inheritance-based subtyping Kathleen Fisher AT&T Labs, Research kfisher@(email omitted); John
- Add To MetaCart
-
Extending Moby with inheritance-based subtyping
- Extending Moby with inheritance-based subtyping Kathleen Fisher AT&T Labs, Research kfisher
- Cited by 11 (0 self) – Add To MetaCart
-
A Framework for Strong Typing and Type Inference in (Persistent) Object Models
- signature. Within our framework we show that inheritance-based subtyping on tuple-structured types cannot
- Cited by 1 (1 self) – Add To MetaCart
-
Implementing Signatures for C++
- as they can occur in C++'s inheritance-based subtyping. If several member functions of C conform to one member
- Cited by 19 (9 self) – Add To MetaCart
-
An Oberon-2 Binding for the ODMG-93 Standard
- , thus the object model supports inheritance-based subtype relationships. A special kind of types defined
- Add To MetaCart
-
Coercive subtyping and lexical semantics (Extended Abstract)
- ), represented as injective coercions, and that of inheritance-based subtyping (eg, between record types
- Cited by 6 (5 self) – Add To MetaCart
-
Geographic Data Modelling in TM
- is based on subtyping and a subclass A inherits from superclass B attributes, object constraints, object
- Cited by 4 (3 self) – Add To MetaCart
-
Combining structural subtyping and external dispatch
- to Unity, as it supports structural subtyping and a variety of tag subtyping through its inheritance-based
- Cited by 3 (1 self) – Add To MetaCart
-
Computer-Assisted Reasoning with Natural Language: Implementing a Mathematical Vernacular
- subtyping (eg, between types of natural numbers and integers) and that of inheritance-based subtyping (eg
- Cited by 1 (0 self) – Add To MetaCart

