A New Definition of the Subtype Relation
- 25 August 2000
- book chapter
- Published by Springer Nature
- p. 118-141
- https://doi.org/10.1007/3-540-47910-4_8
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Inheritance in object oriented ZPublished by Springer Nature ,2006
- Family Values; A Semantic Notion of Subtyping,Published by Defense Technical Information Center (DTIC) ,1992
- Refinement, conformance and inheritanceFormal Aspects of Computing, 1991
- A parallel object-oriented language with inheritance and subtypingACM SIGPLAN Notices, 1990
- Reasoning about object-oriented programs that use subtypesPublished by Association for Computing Machinery (ACM) ,1990
- Verifying Object-Oriented Programs That Use SubtypesPublished by Defense Technical Information Center (DTIC) ,1989
- A semantics of multiple inheritanceInformation and Computation, 1988
- An algebraic model of sybtypes in object-oriented languages (draft)ACM SIGPLAN Notices, 1986
- Database description with SDMACM Transactions on Database Systems, 1981
- Proof of correctness of data representationsActa Informatica, 1972