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…
Found in:
Publications, Reviews, Reports & Papers
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.
Found in:
Publications, Reviews, Reports & Papers
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.
Found in:
Publications, Reviews, Reports & Papers
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.
Found in:
Publications, Reviews, Reports & Papers
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.
Found in:
Publications, Reviews, Reports & Papers
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
Found in:
Publications, Reviews, Reports & Papers
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.
Found in:
Publications, Reviews, Reports & Papers
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
Found in:
Publications, Reviews, Reports & Papers
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.
Found in:
Publications, Reviews, Reports & Papers
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.
Found in:
Publications, Reviews, Reports & Papers
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.
Found in:
Publications, Reviews, Reports & Papers
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.
Found in:
Publications, Reviews, Reports & Papers
Shelfmark: MS. Eng. misc. b. 294/F.76
Extents: 1 file
Dates:
1961-1963