Coalgebraic Reasoning about Classes in Object-Oriented Languages
Open Access
- 31 December 1998
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 11, 231-242
- https://doi.org/10.1016/s1571-0661(04)00061-1
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Structural Induction and Coinduction in a Fibrational SettingInformation and Computation, 1998
- Reasoning about classes in object-oriented languages: Logical models and toolsPublished by Springer Nature ,1998
- Invariants, bisimulations and the correctness of coalgebraic refinementsPublished by Springer Nature ,1997
- 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