'CPL. Formal Semantics' | Manuscripts and Archives at Oxford University

Details

This item is described in 1 online catalogue.?

For the main catalogue entry, see: Bodleian Archives & Manuscripts

Description

From Bodleian Archives & Manuscripts

This is an extract only. For more information, see the catalogue record in Bodleian Archives & Manuscripts.

Bodleian Archives & Manuscripts contains descriptions of the Bodleian Libraries’ archival collections, including post-1500 manuscripts. Some manuscripts with records in other catalogues are also described here as part of a description of a larger archive. Learn more.

Title

'CPL. Formal Semantics'

Shelfmark

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

Summary

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.