Inheritance in Higher Order Logic: Modeling and Reasoning
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 301-319
- https://doi.org/10.1007/3-540-44659-1_19
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Java Program Verification via a Hoare Logic with Abrupt TerminationPublished by Springer Nature ,2000
- Object-oriented verification based on record subtyping in Higher-Order LogicPublished by Springer Nature ,1998
- Inheritance of proofsTheory and Practice of Object Systems, 1998
- Comparing object encodingsPublished by Springer Nature ,1997
- A Theory of ObjectsPublished by Springer Nature ,1996
- Objects And Classes, Co-AlgebraicallyPublished by Springer Nature ,1996
- Inheritance and cofree constructionsPublished by Springer Nature ,1996
- A Denotational Semantics of Inheritance and Its CorrectnessInformation and Computation, 1994
- Toward a typed foundation for method specialization and inheritancePublished by Association for Computing Machinery (ACM) ,1990
- A semantics of multiple inheritanceInformation and Computation, 1988