Hidden Coinduction: Behavioral Correctness Proofs for Objects (1999)

by Joseph A. Goguen , Grant Malcolm
Venue:Mathematical Structures in Computer Science
Citations:24 - 8 self

Documents Related by Co-Citation

42 Hiding More of Hidden Algebra – Joseph Goguen, Grigore Rosu - 1999
85 Towards an Algebraic Semantics for the Object Paradigm – Joseph A. Goguen, Razvan Diaconescu - 1994
72 Types as theories – Joseph Goguen - 1991
27 Hidden Congruent Deduction – Grigore Rosu, Joseph Goguen - 1998
110 A Hidden Agenda – Joseph Goguen, Grant Malcolm - 2000
25 Incompleteness of Behavioral Logics – Samuel Buss, Grigore Rosu - 2000
53 Observational logic – Rolf Hennicker, Michel Bidoit - 1999
474 Institutions: abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
103 Algebraic Semantics of Imperative Programs – Joseph A Goguen, Grant Malcolm - 1996
35 Behavioral coherence in object-oriented algebraic specification – Razvan Diaconescu - 1998
34 Observer Complete Definitions are Behaviourally Coherent – Michel Bidoit , Rolf Hennicker - 1999
46 Circular Coinductive Rewriting – Joseph Goguen, Kai Lin, Grigore Rosu - 2000
46 Context induction: a proof principle for behavioural abstractions and algebraic implementations – R Hennicker - 1991
24 Observational Proofs with Critical Contexts – Narjes Berregeb, Adel Bouhoula, Michael Rusinowitch - 1998
32 A Hidden Agenda, Theoretical Computer Science 245 – J Goguen, G Malcolm - 2000
13 Tools for Distributed Cooperative Design and Validation – Joseph Goguen, Kai Lin, Akira Mori, Grigore Rosu, Akiyoshi Sato - 1998
12 Circular Coinduction – Grigore Rosu, Joseph Goguen - 2000
11 A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms – Joseph Goguen, Grant Malcolm, Tom Kemp - 1998