Proof of Correctness of Object Representations

Cached

Download Links

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

Documents Related by Co-Citation

85 Towards an Algebraic Semantics for the Object Paradigm – Joseph A. Goguen, Razvan Diaconescu - 1994
72 Types as theories – Joseph Goguen - 1991
65 Universal Realization, Persistent Interconnection and Implementation of Abstract Modules – Joseph Goguen, Jose Meseguer - 1982
208 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
103 Algebraic Semantics of Imperative Programs – Joseph A Goguen, Grant Malcolm - 1996
274 An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types – J A Goguen, J W Thatcher, E G Wagner - 1978
98 Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics – J A Goguen, J Meseguer - 1987
92 An approach to object semantics based on terminal coalgebras – H Reichel - 1995
24 Burstall and Razvan Diaconescu. Hiding and behaviour: an institutional approach – Rod - 1994
46 Jos̩ Meseguer, Kokichi Futatsugi and JeanPierre Jouannaud. Introducing OBJ РJoseph Goguen, Timothy Winkler - 2000
474 Institutions: abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
418 Proof of correctness of data representations – C A R Hoare - 1972
21 HYPERPROGRAMMING: A Formal Approach to Software Environments – Joseph A. Goguen - 1990
33 Theorem Proving and Algebra – Joseph Goguen - 1994
29 Proving Correctness Of Refinement And Implementation – Grant Malcolm, Joseph A. Goguen - 1996
110 A Hidden Agenda – Joseph Goguen, Grant Malcolm - 2000
81 Initiality, Induction and Computability – J Meseguer, J A Goguen - 1985
46 Context induction: a proof principle for behavioural abstractions and algebraic implementations – R Hennicker - 1991
30 Mongruences and Cofree Coalgebras – Bart Jacobs - 1995