'CPL. Formal Semantics', 1963-1965

File

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

Held at the Weston Library

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

'Closures, Functions, etc.', 3-page manuscript, 18 January 1963.
'Semantics of where clause', 2-page manuscript, 30 January 1963.
Two-page manuscript notes on for-loop, 14 March 1963.
'Towards a Formal Semantics', 13-page manuscript by Strachey, n.d.
'Towards a Formal Semantics', 5-page typescript (probably by R.M. Burstall), n.d.
'Basic Ideas', 4-page manuscript by Burstall, 23 November 1964.
'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.

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

Miscellaneous loose pages of notes and narratives by Strachey.

Dates

1 file

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

CSAC 71.1.80/C.171

Part of the Bodleian Libraries Repository

Contact:
Weston Library
Broad Street
Oxford OX1 3BG United Kingdom
specialcollections.enquiries@bodleian.ox.ac.uk