A Hidden Agenda (2000)

by Joseph Goguen , Grant Malcolm
Venue:Theoretical Computer Science
Citations:111 - 23 self

Documents Related by Co-Citation

473 Institutions: abstract model theory for specification and programming – J Goguen, R Burstall - 1992
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
273 An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types – J A Goguen, J W Thatcher, E G Wagner - 1978
85 Towards an Algebraic Semantics for the Object Paradigm – Joseph A. Goguen, Razvan Diaconescu - 1994
27 Hidden Congruent Deduction – Grigore Rosu, Joseph Goguen - 1998
72 Types as theories – Joseph Goguen - 1991
42 Hiding More of Hidden Algebra – Joseph Goguen, Grigore Rosu - 1999
208 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
35 Behavioral coherence in object-oriented algebraic specification – Razvan Diaconescu - 1998
24 Burstall and Razvan Diaconescu. Hiding and behaviour: an institutional approach – Rod - 1994
24 Category-based Semantics for Equational and Constraint Logic Programming – Razvan Diaconescu - 1994
103 Algebraic Semantics of Imperative Programs – J Goguen, G Malcolm - 1996
33 Theorem Proving and Algebra – Joseph Goguen - 1994
52 Observational logic – Rolf Hennicker, Michel Bidoit - 1999
297 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
85 Logical Support for Modularisation – Razvan Diaconescu , Joseph Goguen, Petros Stefaneas - 1993
58 Institution Morphisms – Joseph Goguen, Grigore Rosu - 2001
19 Towards the One-Tiered Design of Data Types and Transition Systems – P Padawitz - 1998
919 Categories for the working mathematician – Mac Lane, S - 1971