Proof of Correctness of Object Representations

Cached

Download Links

by Grant Malcolm , Joseph A. Goguen
Citations:27 - 14 self

Active Bibliography

29 Proving Correctness Of Refinement And Implementation – Grant Malcolm, Joseph A. Goguen - 1996
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
11 A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms – Joseph Goguen, Grant Malcolm, Tom Kemp - 1998
2 Hidden Algebraic Engineering – Joseph A. Goguen - 1997
10 Hidden Algebra for Software Engineering – Joseph A. Goguen - 1999
4 A Hidden Herbrand Theorem – Joseph Goguen, Grant Malcolm, Tom Kemp
24 Category-based Semantics for Equational and Constraint Logic Programming – Razvan Diaconescu - 1994
32 An Implementation-Oriented Semantics for Module Composition – Joseph Goguen, Will Tracz - 1997
1 On Refinement and Foops – Paulo Borba, Paulo Borba, Joseph A. Goguen, Joseph A. Goguen - 1994
24 Hidden Coinduction: Behavioral Correctness Proofs for Objects – Joseph A. Goguen, Grant Malcolm - 1999
120 Introducing OBJ – Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993
Behavioral Abstraction is Information Hiding – Grigore Rosu
18 Hiding and Behaviour: an Institutional Approach – Rod Burstall, Razvan Diaconescu - 1994
5 Category-based Modularisation for Equational Logic Programming – Razvan Diaconescu - 1996
10 Logical Foundations of CafeOBJ – Razvan Diaconescu, Kokichi Futatsugi
3 Situated Adaptive Software: Beyond the Object Paradigm – Joseph A. Goguen, Grant Malcolm - 1995
9 Foundations of Behavioural Specification in Rewriting Logic – Razvan Diaconescu - 1996
13 An Overview of the Tatami Project – Joseph Goguen, Kai Lin, Grigore Rosu, Akira Mori, Bogdan Warinschi - 2000