Skip to main content

Box 606733940

 Container

Contains 12 Results:

File

'A theory of programming language semantics', 1974

This work was submitted as a joint entry by Robert E. Milne and Strachey for the Adams Prize Essay of the University of Cambridge (closing date for entries 31 December 1974). Manuscript draft for the Adams Essay, including abstracts, contents list, etc. almost all in Strachey's hand, with some notes by Milne and others. Various dates, mainly October-December 1974. After their subsequent collaboration for the Adams Prize, Strachey devoted much of the last months of his…
Shelfmark: MS. Eng. misc. b. 294/F.65
Extents: 1 file
Dates: 1974
File

'A theory of programming language semantics', 1974

Strachey's worksheets for the Adams Prize Essay, November 1974: an itemised breakdown of the work, specifying dates of composition, typing, checking, comments, etc. for each sub-section.
Shelfmark: MS. Eng. misc. b. 294/F.66
Extents: 1 file
Dates: 1974
File

'A theory of programming language semantics', 1973-1974

'Elementary Results', miscellaneous notes and calculations, various dates, November 1973, February, July, September 1974.
Shelfmark: MS. Eng. misc. b. 294/F.67
Extents: 1 file
Dates: 1973-1974
File

'A theory of programming language semantics', 1974

Manuscript notes, and first manuscript drafts, July-September 1974.
Shelfmark: MS. Eng. misc. b. 294/F.68
Extents: 1 file
Dates: 1974
File

'A theory of programming language semantics', 1974

Manuscript notes and drafts, Preface and Sections 1.2-1.9, September-December 1974.
Shelfmark: MS. Eng. misc. b. 294/F.69
Extents: 1 file
Dates: 1974
File

'A theory of programming language semantics', Aug-Nov 1974

Manuscript notes and drafts, Sections 3.1-3.8
Shelfmark: MS. Eng. misc. b. 294/B.70
Extents: 1 file
Dates: Aug-Nov 1974
File

'A theory of programming language semantics', 1974-1975

Folder of miscellaneous notes and calculations, mainly testing out various hypotheses, November 1974-March 1975. Includes a copy of a note by R. Milne on 'Induction rule for loops' and two bundles of more extended notes (each 10 pages) by Strachey, March 1975.
Shelfmark: MS. Eng. misc. b. 294/F.71
Extents: 1 file
Dates: 1974-1975
File

'A theory of programming language semantics', Mar 1974-Jan 1975

Miscellaneous manuscript notes of plans for essay, queries and problems to be checked, notes of 'Possible changes, etc. for Book', list of 'Late Alterations', Strachey's 7-page list of comments. Various dates
Shelfmark: MS. Eng. misc. b. 294/F.72
Extents: 1 file
Dates: Mar 1974-Jan 1975
File

'A theory of programming language semantics', n.d.

'SAL Standard Semantic Equations'. Miscellaneous notes and examples for SAL, 'a large and powerful paradigm programming language', introduced as Chapter 3 of the Adams Essay.
Shelfmark: MS. Eng. misc. b. 294/F.73
Extents: 1 file
Dates: n.d.
File

'A theory of programming language semantics', n.d.

Photocopy of Preface, Abstract and specimen pages of the Adams Essay, submitted to a publisher.
Shelfmark: MS. Eng. misc. b. 294/F.74
Extents: 1 file
Dates: n.d.
File

'A theory of programming language semantics', n.d.

Brief correspondence with the University of Cambridge regarding the Adams Essay. Includes errata list.
Shelfmark: MS. Eng. misc. b. 294/F.75
Extents: 1 file
Dates: n.d.
File

Circulation lists, 1961-1963

Circulation lists for Strachey's publications.
Shelfmark: MS. Eng. misc. b. 294/F.76
Extents: 1 file
Dates: 1961-1963