Programming Research Group Technical Monographs: no longer available
The Programming Research Group published
a series of Technical Monographs for more than thirty years
between 1970 and 2001. These were printed as A5 booklets.
These titles are now out-of-print and are no longer available.
A list of the longer out-of-print titles and
abstracts, if available, is here.
The following Technical Monographs were available until recently.
- PRG-125
- Relations, graphs and programs,
Jesus N. Ravelo,
April 1999
- PRG-124
- Higher-level algorithmic structures in the refinement calculus,
Steve King,
January 1999
- PRG-123
- A refinement calculus for Z,
Ana Cavalcanti,
August 1997
- PRG-122
- A relational approach to optimization problems,
Sharon Curtis,
April 1996
- PRG-121
- Machine-assisted theorem-proving for software engineering,
Andrew Martin,
July 1996
- PRG-120
- A tutorial on proof in Standard Z,
Stephen Brien and Andrew Martin,
February 1996
- PRG-119
- The timed failures-stability model for CSP,
G.M. Reed and A.W. Roscoe,
February 1996
- PRG-118
- Semantics of non-terminating rewrite systems using
minimal coverings,
José Barros and Joseph Goguen,
1995
- PRG-117
- Module composition and system design for the
object paradigm,
Joseph A Goguen and Adolfo Socorro,
January 1995
- PRG-116
- Category-based semantics for equational and constraint logic
programming,
Razvan Diaconescu,
DPhil thesis, July 1994
- PRG-115
- An Operational Semantics for FOOPS,
Paulo Borba and Joseph Goguen,
November 1994
- PRG-114
- Proving correctness of refinement and implementation,
Grant Malcolm and Joseph A Goguen,
November 1994
- PRG-113
- Design, implementation and evaluation of a declarative
object-oriented programming language,
Adolfo J Socorro Ramos,
DPhil thesis, Trinity Term 1993
- PRG-112
- A mathematical theory of synchronous communication,
Janet E Barnes,
DPhil thesis, Hilary Term 1993
- PRG-111
- Probabilities and priorities in Timed CSP,
Gavin Lowe,
DPhil thesis, Hilary Term 1993
- PRG-110
- An algebraic approach to compiler design,
Augusto Sampaio,
DPhil thesis, October 1993
- PRG-109
- The formal design and evaluation of a variety of
medical diagnostic programs,
B S Todd and R Stamper,
September 1993
- PRG-108
- Denotational semantics for occam2,
M H Goldsmith,
A W Roscoe
and B G O Scott,
June 1993
- PRG-107
- Z Base Standard version 1.0,
S M Brien and J E Nicholls,
November 1992
- PRG-106
- Qualified types: theory and practice,
Mark Philip Jones,
DPhil thesis, July 1992
- PRG-105
- Model-based enhancement of mammographic images,
Ralph Philip Highnam,
DPhil thesis, Trinity 1992
- PRG-104
- Equational reasoning support for Orwell,
Stephen Wilson,
MSc thesis, Nov 1992
- PRG-103
- Analysis of business processes specified in Z against an E-R
data model,
Jun Ginbayashi,
MSc thesis, September 1992
- PRG-102
- Probabilistic communicating processes,
Karen Seidel,
DPhil thesis, Michaelmas Term 1992
- PRG-101
- From Z to C: illustration of a rigorous development method,
D S Neilson,
DPhil thesis, 1990
- PRG-100
- The dry and the wet,
Joseph A Goguen,
March 1992
- PRG-99
- Markovian analysis of texture : serial and parallel
paradigms in low-level vision,
C Philip Winder,
DPhil thesis, May 1992
- PRG-98
- Categories, relations and dynamic programming,
Oege de Moor,
DPhil thesis, April 1992
- PRG-97
- Formal aspects of human-computer interaction,
Gregory D Abowd,
DPhil thesis, October 1991
- PRG-96
- A brief history of timed CSP,
Jim Davies and Steve Schneider,
April 1992
- PRG-95
- An introduction to expert systems,
Bryan S Todd,
February 1992
- PRG-94
- Algebras for tree algorithms,
Jeremy Gibbons,
DPhil thesis, September 1991
- PRG-92
- The Logic of B,
P H B Gardiner and T N Vickers,
January 1991
- PRG-91
- Collecting butterflies,
Geraint Jones
and Mary Sheeran,
February 1991
- PRG-90
- Data refinement in a categorical setting,
He Jifeng and C A R Hoare,
November 1990
- PRG-89
- Four pieces on error, truth and reality,
Joseph A Goguen,
October 1990
- PRG-88
- Investigations into the complexity of some
propositional calculus,
Marcello D'Agostino,
November 1990
- PRG-87
- Maintaining consistency in distributed databases,
A W Roscoe,
October 1990
- PRG-86
- Collision detection by four-dimensional intersection
testing,
Stephen Cameron,
July 1990
- PRG-85
- Efficient intersection tests for objects defined
constructively,
Stephen Cameron,
July 1990
- PRG-84
- Correctness and communication in real-time systems,
Steve Schneider,
March 1990
- PRG-83
- A Monte Carlo method for implementing model-based
diagnostic programs,
Bryan S Todd,
May 1990
- PRG-82
- A Functional database,
Phil Trinder,
December 1989
- PRG-81
- An algorithm for type-checking Z : a Z
specification,
J N Reed and J E Sinclair,
March 1990
- PRG-80
- Order-sorted algebra I : equational deduction for
multiple inheritance, overloading, exceptions and partial operations,
Joseph Goguen
and Jose Meseguer,
December 1989
- PRG-79
- Z and the refinement calculus,
Steve King,
February 1990
- PRG-78
- Laws of the logical calculi,
Carroll Morgan and
J W Sanders,
September 1989
- PRG-77
- Indexed categories as a tool for the semantics of
computation,
Andrzej Tarlecki, Rod Burstall and
Joseph Goguen,
August 1989
- PRG-76
- The Rewrite Rule Machine, 1988,
Joseph Goguen,
Sany Leinwand, Jose Meseguer, Timothy Winkler,
August 1989
- PRG-75
- An Introduction to Timed CSP,
Jim Davies and Steve Schneider,
August 1989
- PRG-74
- Formal Specification of Windowing Systems,
Jonathan Bowen,
June 1989
- PRG-73
- Combinator Graph Reduction: A Congruence and its
Applications,
David Lester,
April 1989
- PRG-72
- A Categorical Manifesto,
Joseph A Goguen,
March 1989
- PRG-71
- A Formal Model through Homogeneity Theory of
Adaptive Reasoning,
Roberto Garligliano and Derek Long,
February 1989
- PRG-69
- Lectures on Constructive Functional Programming,
Richard S Bird,
1988
- PRG-66
- The Sliding-Window Protocol in CSP,
K Paliwoda and J W Sanders,
1988
- PRG-62
- The Formal Documentation of a Block Storage
Service,
Roger Gimson,
August 1987
- PRG-61
- The Specification of Network Services,
Jonathan Bowen, Roger Gimson, Stig Topp-Jorgensen,
August 1987
- PRG-60
- The Formal Specification of a Microprocessor
Instruction Set,
Jonathan Bowen,
January 1987
- PRG-58
- Formal Methods Applied to a Floating Point Number
System,
Geoff Barrett,
January 1987
- PRG-57
- The Pursuit of Deadlock Freedom,
A W Roscoe
and Naiem Dathi,
November 1986
- PRG-56
- An Introduction to the Theory of Lists,
Richard S Bird,
October 1986
- PRG-55
- Functional Programming with Side Effects,
Mark B Josephs,
DPhil thesis, June 1986
- PRG-54
- Exploiting Parallelism in the Graphics Pipeline,
Theoharis A Theoharis,
June 1986
- PRG-53
- The Laws of Occam Programming,
A W Roscoe and
C A R Hoare,
February 1986
- PRG-52
- Algebraic Specification and Proof of Properties of
Communicating Sequential Processes,
C A R Hoare and He Jifeng,
November 1985
- PRG-51
- JSD expressed in CSP,
K.T. Sridhar and C.A.R. Hoare,
July 1985
- PRG-50
- The Distributed Computing Software Project,
Roger Gimson and
Carroll Morgan,
July 1985
- PRG-49
- Specification Directed Module Testing,
Ian Hayes,
July 1985
- PRG-48
- CAVIAR: A Case Study in Specification,
Bill Flinn and Ib Holm Sorensen,
July 1985
- PRG-47
- Specifying the CICS Application Programmer's
Interface,
Ian Hayes,
July 1985
- PRG-46
- Specification Case Studies,
Ian Hayes,
July 1985
- PRG-44
- The Weakest Prespecification,
C A R Hoare and He Jifeng,
June 1985
- PRG-42
- A Range of Operating Systems Written in a Purely
Functional Style,
Simon B Jones,
February 1985
- PRG-38
- Making Nets Abstract and Structured and
Nets and their Relation to CSP,
Ludwik Czaja,
January/June 1984
- PRG-37
- Specification-Oriented Semantics for Communicating
Processes,
E R Olderog and
C A R Hoare,
February 1984
- PRG-36
- The Formal Specification of a Conference Organising
System,
Tim Clement,
August 1983
- PRG-34
- Abstract Machine Support for Purely Functional
Operating Systems,
Simon B Jones,
August 1983
- PRG-32
- The Lispkit Manual,
Peter Henderson,
Geraint A Jones
and Simon B Jones,
1983
- PRG-29
- Specifications, Programs and Implementations,
C A R Hoare,
June 1982
- PRG-28
- Graph reduction with super-combinators,
John Hughes,
June 1982
- PRG-27
- Programming is an Engineering Profession,
C.A.R. Hoare,
May 1982
- PRG-26
- The Consistency of the Calculus of Total Correctness
for Communicating Processes,
Zhou Chao Chen,
February 1982
- PRG-22
- A Model for Communicating Sequential Processes,
C A R Hoare,
June 1981
- PRG-20
- Partial Correctness of Communicating Processes and
Protocols,
Zhou Chao Chen and
C A R Hoare,
May 1981
- PRG-18
- The Specification of Abstract Mappings and their
Implementation as B+ trees,
Elizabeth Fielding,
September 1980
- PRG-17
- Report on the Programming Notation 3R,
Andrew P Black,
August 1980
- PRG-10
- The Varieties of Programming Language,
Christopher Strachey,
March 1973
- PRG-5
- Data Types as Lattices,
Dana Scott,
September 1976
- PRG-3
- The Lattice of Flow Diagrams,
Dana Scott,
November 1970
|
![[Oxford Spires]](/im/spires.gif){kind=small}
oucl