Hidden Coinduction: Behavioral Correctness Proofs for Objects (1999)

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

Documents Related by Co-Citation

76 Types as theories – J Goguen - 1991
515 Institutions: Abstract model theory for specification and programming – J Goguen, R Burstall - 1992
90 Towards an Algebraic Semantics for the Object Paradigm – Joseph A. Goguen, Razvan Diaconescu - 1994
44 Hiding More of Hidden Algebra – Joseph Goguen, Grigore Rosu - 1999
27 Incompleteness of Behavioral Logics – Samuel Buss, Grigore Rosu - 2000
120 A Hidden Agenda – Joseph Goguen, Grant Malcolm - 2000
55 Observational logic – Rolf Hennicker, Michel Bidoit - 1999
244 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
55 Context induction: a proof principle for behavioral abstractions – R Hennicker - 1991