Skip to main content

'CPL. Formal Semantics', 1963-1965

MS. Eng. misc. b. 271/C.171
Held at the Weston Library

  • Request

Miscellaneous notes and narratives illustrating Strachey's increasing interest in the semantic rather than the syntactic uses of CPL. Includes:

  1. 'Closures, Functions, etc.', 3-page manuscript, 18 January 1963.
  2. 'Semantics of where clause', 2-page manuscript, 30 January 1963.
  3. Two-page manuscript notes on for-loop, 14 March 1963.
  4. 'Towards a Formal Semantics', 13-page manuscript by Strachey, n.d.
  5. 'Towards a Formal Semantics', 5-page typescript (probably by R.M. Burstall), n.d.
  6. 'Basic Ideas', 4-page manuscript by Burstall, 23 November 1964.
  7. 'Progress? with CPL semantics', 3-page typescript, 14 December 1964, with several other pages attached ('Structure Definition of Applicative Structures and Command Structures', 'Functions', 'Translation') that were annotated by Strachey and re-typed on 19 December 1964.

'Some Investigation into the Formal Semantics of CPL', by R.M. Burstall, January 1965. Typescript with manuscript annotations.

  1. Chapter I Dealing with Functions and Routines by the techniques of C. Strachey
  2. Chapter II First attempts at formalising the translation (page 1 only)
  3. Chapter III A different approach to CPL semantics, and miscellaneous loose pages of definitions.

Miscellaneous loose pages of notes and narratives by Strachey.


  • Creation: 1963-1965


1 file

Language of Materials

  • English


MS. Eng. misc. b. 271/C.171

Former reference:

CSAC 71.1.80/C.171

Repository Details

Part of the Bodleian Libraries Repository

Weston Library
Broad Street
Oxford OX1 3BG United Kingdom