Catalogue description OXFORD UNIVERSITY PROGRAMMING RESEARCH GROUP (P.R.G.), 1966-75   See CSAC 71.1.80/A.68...

OXFORD UNIVERSITY PROGRAMMING RESEARCH GROUP (P.R.G.), 1966-75

See CSAC 71.1.80/A.68 and Section B for the history and setting up of P.R.G.

The material includes work on the following, as well as on other projects.

CSAC 71.1.80/C.202 - CSAC 71.1.80/C.207 Visits and work at Project MAC

CSAC 71.1.80/C.208 - CSAC 71.1.80/C.212 KDF9

CSAC 71.1.80/C.213 - CSAC 71.1.80/C.223 Modular One (Mod I)

CSAC 71.1.80/C.224 - CSAC 71.1.80/C.241 Formal semantics (with D. Scott and others)

CSAC 71.1.80/C.242 - CSAC 71.1.80/C.274 Miscellaneous notes and drafts.

Strachey's main interest in the later part of this period, on mathematical semantics and programming theory, was disseminated chiefly through discussions, lectures and talks, or shorter papers, but not by any comprehensive publication during his lifetime (see CSAC 71.1.80/F.61-CSAC 71.1.80/F.75).

Much of the work was collaborative with Strachey's colleagues in P.R.G., notably D. Park, D. Scott and J.E. Stoy, and with research students such as R. Milne, C. Wadsworth; contributions from these and others are included in the folders and idenfied where possible.

Guidance from M. Harper and J.E. Stoy on the content and dating of some of this material is very gratefully acknowledged.