Hidden coinduction: behavioural correctness proofs for objects
From MaRDI portal
Publication:4261314
DOI10.1017/S0960129599002777zbMath0931.68067OpenAlexW2002112801MaRDI QIDQ4261314
Joseph A. Goguen, Grant Malcolm
Publication date: 7 February 2000
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129599002777
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (12)
Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach ⋮ A short overview of Hidden Logic ⋮ From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories ⋮ Observational Refinement Process ⋮ Behavioral abstraction is hiding information ⋮ Behavioural reasoning for conditional equations ⋮ What is the coalgebraic analogue of Birkhoff's variety theorem? ⋮ On the algebraic structure of declarative programming languages ⋮ Swinging types=functions+relations+transition systems ⋮ A hidden agenda ⋮ Towards Behavioral Maude ⋮ A hidden Herbrand theorem: Combining the object and logic paradigms
Uses Software
This page was built for publication: Hidden coinduction: behavioural correctness proofs for objects
