Searching for "Inheritance Is Not Subtyping." – sorted by Relevance.
325 documents found, showing 1 through 10.
Next 10 →
-
Subtyping and Inheritance for Inductive Types
- …Subtyping and Inheritance for Inductive Types Erik Poll University of Kent, Canterbury, UK E…
- Cited by 2 (1 self) – Add To MetaCart
-
Position Paper for ECOOP'92 Workshop on Multiple Inheritance and Multiple Subtyping
- …� � Position Paper for ECOOP’92 Workshop on Multiple Inheritance and Multiple Subtyping Multiple…
- Add To MetaCart
-
Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism
- …, inheritance and subtyping -- are taken into account. In CO-OPN/2, classes (considered as templates…
- Cited by 19 (9 self) – Add To MetaCart
-
A syntax-directed Hoare logic for object-oriented programming concepts
- … and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java…
- Cited by 21 (6 self) – Add To MetaCart
-
A Syntax-Directed Hoare Logic for
- … with inheritance and subtyping like Java. It describes a weakest precondition calculus for assignments and object…
- Add To MetaCart
-
Synchronization with Type Variables
- … gives more flexibility and allows us to use inheritance and subtyping in concurrent programs in the same…
- Cited by 1 (0 self) – Add To MetaCart
-
Object orientation without extending Z
- …-oriented systems, including encapsulation, inheritance and subtype polymorphism (dynamic dispatch). The bad news…
- Cited by 1 (0 self) – Add To MetaCart
-
Structuring Mechanisms for an Object-Oriented Formal Specification Language
- …: the distinction between inheritance and subtyping, values and objects, vertical and horizontal composition…
- Add To MetaCart
-
An Object Oriented Specification Language based on Hierarchical Algebraic Petri Nets
- … as dynamic creation of objects is allowed. Inheritance and subtyping are considered as two different…
- Cited by 4 (1 self) – Add To MetaCart
-
Design of an Object-Oriented Formal Specification Language
- … during the design of this extension: the distinction between inheritance and subtyping, values…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
