Oxford University Computing Laboratory Publications of Joseph Goguen

PRG Technical Monographs

Abstracts of the following PRG Technical Monographs are available online. Copies of the monographs can be ordered.

PRG-72
A Categorical Manifesto, Joseph A Goguen, March 1989
PRG-76
The Rewrite Rule Machine, 1988, Joseph Goguen, Sany Leinwand, Jose Meseguer, Timothy Winkler, August 1989
PRG-77
Indexed categories as a tool for the semantics of computation, Andrzej Tarlecki, Rod Burstall and Joseph Goguen, August 1989
PRG-80
Order-sorted algebra I : equational deduction for multiple inheritance, overloading, exceptions and partial operations, Joseph Goguen and Jose Meseguer, December 1989
PRG-89
Four pieces on error, truth and reality, Joseph A Goguen, October 1990
PRG-100
The dry and the wet, Joseph A Goguen, March 1992
PRG-114
Proving correctness of refinement and implementation, Grant Malcolm and Joseph A Goguen, November 1994
PRG-117
Module composition and system design for the object paradigm, Joseph A Goguen and Adolfo Socorro, January 1995
PRG-118
Semantics of non-terminating rewrite systems using minimal coverings, José Barros and Joseph Goguen, 1995

PRG Technical Reports

Paper copies of the following PRG Technical Reports can be ordered from the Librarian.

TR-25-91
Two examples in OOZE,
Antonio Alencar and Joseph Goguen. 1991, 21pp.
TR-7-92
OOZE with examples,
Antonio J Alencar and Joseph A Goguen. 1992, 27pp.
TR-16-94
An Operational Semantics for FOOPS
Paulo Borba and Joseph A Goguen. November 1994, 61pp.
TR-17-94
On Refinement and FOOPS
Paulo Borba and Joseph A Goguen. November 1994, 28pp.

Return to my home page.