Computer Science Monographs

[PRG31]

The Rigorous Development of a System Version Control Database

Ian D. Cottam

No. PRG31. OUCL. October, 1982.

[PRG30]

CASE STUDIES IN SPECIFICATION: FOUR GAMES

Alejandro Teruel

No. PRG30. OUCL. July, 1982.

[PRG29]

SPECIFICATIONS‚ PROGRAMS AND IMPLEMENTATIONS

C.A.R. Hoare

No. PRG29. OUCL. June, 1982.

[PRG28]

GRAPH REDUCTION WITH SUPER−COMBINATORS

John Hughes

No. PRG28. OUCL. June, 1982.

[PRG27]

PROGRAMMING IS AN ENGINEERING PROFESSION

C.A.R. Hoare

No. PRG27. OUCL. May, 1982.

[PRG26]

THE CONSISTENCY OF THE CALCULUS OF TOTAL CORRECTNESS FOR COMMUNICATING PROCESSES

Zhou Chaochen

No. PRG26. February, 1982.

Main sections