Forcing behavioral subtyping through specification inheritance
- 23 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 258-267
- https://doi.org/10.1109/icse.1996.493421
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- Inheritance in object oriented ZPublished by Springer Nature ,2006
- An observational subset of first-order logic cannot specify the behaviour of a counter (extended abstract)Published by Springer Nature ,2005
- Weak Behavioral Subtyping for Types with Mutable ObjectsElectronic Notes in Theoretical Computer Science, 1995
- A behavioral notion of subtypingACM Transactions on Programming Languages and Systems, 1994
- Specifications and their use in defining subtypesACM SIGPLAN Notices, 1993
- Larch: Languages and Tools for Formal SpecificationPublished by Springer Nature ,1993
- Specification in FrescoPublished by Springer Nature ,1992
- Reasoning about object-oriented programs that use subtypesPublished by Association for Computing Machinery (ACM) ,1990
- An algebraic model of sybtypes in object-oriented languages (draft)ACM SIGPLAN Notices, 1986
- Proof of correctness of data representationsActa Informatica, 1972