Reasoning about classes in object-oriented languages: Logical models and tools
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 105-121
- https://doi.org/10.1007/bfb0053566
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Coalgebra semantics for hidden algebra: Parameterised objects and inheritancePublished by Springer Nature ,1998
- Proof systems for structured specifications with observability operatorsTheoretical Computer Science, 1997
- Formal verification of transformations for peephole optimizationPublished by Springer Nature ,1997
- Invariants, bisimulations and the correctness of coalgebraic refinementsPublished by Springer Nature ,1997
- Behaviour-refinement of coalgebraic specifications with coinductive correctness proofsPublished by Springer Nature ,1997
- A Theory of ObjectsPublished by Springer Nature ,1996
- PVS: Combining specification, proof checking, and model checkingPublished by Springer Nature ,1996
- Objects And Classes, Co-AlgebraicallyPublished by Springer Nature ,1996
- An approach to object semantics based on terminal co-algebrasMathematical Structures in Computer Science, 1995
- Formal verification for fault-tolerant architectures: prolegomena to the design of PVSIEEE Transactions on Software Engineering, 1995