University of Oxford Logo University of OxfordDepartment of Computer Science - Home
Linked in
Linked in
Follow us on twitter
Twitter
On Facebook
Facebook
Instagram
Instagram

Computer Science Monographs

2015200920001999199719961995199419931992

1991199019891988198719861985198419831982

198119801978197619741973197219711970

[PRG101]

FROM Z TO C : ILLUSTRATION OF A RIGOROUS DEYELOPMENT METHOD

D.S. Neilson

No. PRG101. OUCL. January, 1990.

[PRG90]

DATA REFINEMENT IN A CATEGORICAL SETTING

He Jifeng and C.A.R. Hoare

No. PRG90. OUCL. November, 1990.

[PRG89]

FOUR PIECES ON ERROR‚TRUTH AND REALITY

Joseph A. Goguen

No. PRG89. OUCL. October, 1990.

[PRG88]

INVESTIGATIONS INTO THE COMPLEXITY OF SOME PROPOSITIONAL CALCULI

Marcello D'Agostino

No. PRG88. OUCL. November, 1990.

[PRG87]

MAINTAINING CONSISTENCY IN DISTRIBUTED DATABASES

A.W. Roscoe

No. PRG87. OUCL. October, 1990.

[PRG86]

COLLISION DETECTION BY FOUR−DIMENSIONAL INTERSECTION TESTING

Stephen Cameron

No. PRG86. OUCL. July, 1990.

[PRG85]

EFFICIENT INTERSECTION TESTS FOR OBJECTS DEFINED CONSTRUCTIVELY

Stephen Cameron

No. PRG85. OUCL. July, 1990.

[PRG84]

CORRECTNESS AND COMMUNICATION IN REAL−TIME SYSTEMS

Steve Schneider

No. PRG84. OUCL. March, 1990.

[PRG83]

A MONTE CARLO METHOD FOR IMPLEMENTING MODEL−BASED DIAGNOSTIC PROGRAMS

Bryan S. Todd

No. PRG83. OUCL. May, 1990.

[PRG81]

An Algorithm for Type−Checking Z

J. N. Reed and J. E. Sinclair

No. PRG81. OUCL. 1990.

[PRG79]

Z AND THE REFINEMENT CALCULUS

Steve King

No. PRG79. OUCL. February, 1990.