'CPL Compiler - Canonical Variables'
MS. Eng. misc. b. 271/C.166
Bodleian Libraries, University of Oxford
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 Compiler - Canonical Variables'
Shelfmark
MS. Eng. misc. b. 271/C.166
Summary
Folder of notes and narratives, mainly June-August 1963. Includes:
'Canonicalization of Variables', 5-page manuscript and 4-page typescript draft by Strachey, 5 July 1963.
'Canonicalization of Variables', typescript and manuscript drafts by Strachey and JBH, 6 August 1963.
Note on 'space allocation for CV fns.' and 'FULs', 2 pages, 1 July 1963.
'Examples of CV reduction', 9-page manuscript with 'Condensation', 3-page manuscript
'Translation Environment', set of manuscript notes (pages not numbered).
'Formats for CV functions', 2 manuscript pages, 29 June 1963.
Miscellaneous manuscript notes (some dated 23 and 29 June 1963).
Date
1963
Language
English
Physical extent
1 file
View full record in Bodleian Archives & Manuscripts
Collection contents
Papers and correspondence of Christopher Strachey
Working Papers, Notes, and Calculations
Cambridge University Mathematical Laboratory,
CPL
Working papers
'CPL Compiler - Canonical Variables'
