Author(s)
Bibliographic Information
Technical monograph
Oxford University Computing Laboratory, Programming Research Group
Search this Book/Journal
Related Books： 1-17 of 17
-
1
- Efficient intersection tests for objects defined constructively
-
by Stephen Cameron
Oxford University Computing Laboratory, Programming Research Group 1990 Technical monograph PRG-85
Available at 1 libraries
-
2
- Collision detection by four-dimensional intersection testing
-
by Stephen Cameron
Oxford University Computing Laboratory, Programming Research Group 1990 Technical monograph PRG-86
Available at 1 libraries
-
3
- A Monte Carlo method for implementing model-based diagnostic programs
-
by Bryan S. Todd
Oxford University Computing Laboratory, Programming Research Group 1990 Technical monograph PRG-83
Available at 1 libraries
-
4
- Four pieces on error, truth and reality
-
by Joseph A. Goguen
Oxford University Computing Laboratory, Programming Research Group 1990 Technical monograph PRG-89
Available at 1 libraries
-
5
- Investigations into the complexity of some propositional calculi
-
by Marcello D'Agostino
Oxford University Computing Laboratory, Programming Research Group 1990 Technical monograph PRG-88
Available at 1 libraries
-
6
- Data refinement in a categorical setting
-
by He Jifeng, C.A.R. Hoare
Oxford University Computing Laboratory, Programming Research Group 1990 Technical monograph PRG-90
Available at 1 libraries
-
7
- Correctness and communication in real-time systems
-
by Steve Schneider
Oxford University Computing Laboratory, Programming Research Group 1990 Technical monograph PRG-84
Available at 1 libraries
-
8
- Order-sorted algebra I : equational deduction for multiple inheritance, overloading, exceptions and partial operations
-
by Joseph A. Goguen, José Meseguer
Oxford University Computing Laboratory, Programming Research Group 1989 Technical monograph PRG-80
Available at 1 libraries
-
9
- A functional database
-
by Phil Trinder
Oxford University Computing Laboratory, Programming Research Group 1989 Technical monograph PRG-82
Available at 1 libraries
-
10
- A model for communicating sequential processes
-
by C.A.R. Hoare
Oxford University Computing Laboratory, Programming Research Group 1981 Technical monograph PRG-22
Available at 1 libraries
-
11
- A guide to communicating sequential processes
-
by Shan S. Kuo, Michael H. Linck, Sohrab Saadat
Oxford University Computing Laboratory, Programming Research Group 1978.8 Technical monograph PRG-14
Available at 1 libraries
-
12
- Data types as lattices
-
by Dana Scott
Oxford University Computing Laboratory, Programming Research Group 1976 Technical monograph PRG-5
Available at 1 libraries
-
13
- Continuations : a mathematical semantics for handling full jumps
-
by Christopher Strachey and Christopher P. Wadsworth
Oxford University Computing Laboratory, Programming Research Group 1974 Technical monograph PRG-11
Available at 1 libraries
-
14
- The mathematical semantics of Algol 60
-
by Peter Mosses
Oxford University Computing Laboratory, Programming Research Group 1974 Technical monograph PRG-12
Available at 1 libraries
-
15
- The varieties of programming language
-
by Christopher Strachey
Oxford University Computing Laboratory, Programming Research Group 1973 Technical monograph PRG-10
Available at 1 libraries
-
16
- OS6, an operating system for a small computer
-
by Joseph Stoy and Christopher Strachey
Oxford University Computing Laboratory, Programming Research Group 1972 Technical monograph PRG-8
Available at 1 libraries
-
17
- The lattice of flow diagrams
-
by Dana Scott
Oxford University Computing Laboratory (Programming Research Group) 1970 Technical monograph PRG-3
Available at 2 libraries