|
72
|
Types as theories
– Joseph Goguen
- 1991
|
|
85
|
Towards an Algebraic Semantics for the Object Paradigm
– Joseph A. Goguen, Razvan Diaconescu
- 1994
|
|
97
|
G.: Algebraic Semantics of Imperative Programs
– J A Goguen, Malcolm
|
|
65
|
Universal Realization, Persistent Interconnection and Implementation of Abstract Modules
– Joseph Goguen, Jose Meseguer
- 1982
|
|
203
|
Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations
– Joseph A. Goguen
- 1992
|
|
45
|
José Meseguer, Kokichi Futatsugi, and Jean-Pierre Jouannaud. Introducing OBJ
– Joseph Goguen, Timothy Winkler
- 2000
|
|
261
|
An initial algebra approach to the specification, correctness, and implementation of abstract data types
– J A Goguen, J W Thatcher, E G Wagner
- 1978
|
|
97
|
Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics
– J A Goguen, J Meseguer
- 1987
|
|
90
|
An approach to object semantics based on terminal co-algebras
– H Reichel
- 1995
|
|
24
|
Burstall and Razvan Diaconescu. Hiding and behaviour: an institutional approach
– Rod
- 1994
|
|
21
|
HYPERPROGRAMMING: A Formal Approach to Software Environments
– Joseph A. Goguen
- 1990
|
|
425
|
Institutions: Abstract model theory for specification and programming
– J A Goguen, R M Burstall
- 1992
|
|
28
|
Proving Correctness Of Refinement And Implementation
– Grant Malcolm, Joseph A. Goguen
- 1996
|
|
104
|
A Hidden Agenda
– Joseph Goguen, Grant Malcolm
- 2000
|
|
377
|
Proof of correctness of Data representations
– C A R Hoare
- 1972
|
|
33
|
Theorem Proving and Algebra
– Joseph Goguen
- 1994
|
|
116
|
Principles of parameterized programming
– J Goguen
- 1987
|
|
11
|
Behavioural equivalence, bisimilarity, and minimal realisation
– Grant Malcolm
- 1996
|
|
78
|
Initiality, induction and computability
– J Meseguer, J Goguen
- 1985
|
