Skip to main content

Box 606733921

 Container

Contains 18 Results:

File

Shorter notes, n.d.

Includes: 'Languages' (possibly an outline for work to be done for the projected book) 'Algol 60' (on verso, 'Language O') 'L-PAL' 'A purely applicative language' 'Commands or expressions' 'Simple programming language with side effects'.
Shelfmark: MS. Eng. misc. b. 275/C.227
Extents: 1 file
Dates: n.d.
File

'Mathematical Semantics for two simple languages', August 1970

Duplicated typescript of a paper read by Scott and Strachey (on Language O and Language 1) at Princeton.
Shelfmark: MS. Eng. misc. b. 275/C.228
Extents: 1 file
Dates: August 1970
File

'Jumps, etc.', 1970

Sequences of notes and routines (collaborative work with Scott). Includes: 'A small "Continuation" language' (typescript note, basis of the work) 'Program Segments', calculations and narrative, 2 items both April 1970 'Jumps, Hops, Labels', more extended sequence of calculations and narrative, April 1970 'Commands/Jumps Semantics' …
Shelfmark: MS. Eng. misc. b. 275/C.229
Extents: 1 file
Dates: 1970
File

'Data Types in Programming Languages', July 1970

Two manuscript drafts for a work, perhaps a lecture, with this title.
Shelfmark: MS. Eng. misc. b. 275/C.230
Extents: 1 file
Dates: July 1970
File

'General Notes on Series - Typographical Excerpts.', 1970-1971

Notes and examples of symbols for computer languages, in various type-faces, in connection with planning and publication of P.R.G. Technical Monographs, 1970-1971. Includes letter to Scott on the subject, March 1970.
Shelfmark: MS. Eng. misc. b. 275/C.231
Extents: 1 file
Dates: 1970-1971
File

'Formal Semantics - Miscellaneous work more or less in progress', 1969-1972

Bundles of notes, calculations and narrative, various dates March 1969-February 1972, with headings or titles as follows: 'Basic Functions' 'Conditional Expressions' 'Simple language without side effects' 'Sample Class 2 language (derived from PA)' 'Abstract syntax' 'Stored Commands' 'Lists and Polyadic…
Shelfmark: MS. Eng. misc. b. 275/C.232
Extents: 1 file
Dates: 1969-1972
File

Formal semantics - undated notes and calculations, n.d.

Undated notes and calculations by Strachey on formal semantics.
Shelfmark: MS. Eng. misc. b. 275/C.233
Extents: 1 file
Dates: n.d.
File

Formal Semantics, n.d.

Notes and ideas by R. Milne, S. Linfoot and other members of the P.R.G.
Shelfmark: MS. Eng. misc. b. 275/C.234
Extents: 1 file
Dates: n.d.
File

'Formal Semantics: Formulae, Theorems, Exercises', 1970-1971

Tagged set of 'Miscellaneous Formulae' in Strachey's hand, various dates March 1970-March 1971.
Shelfmark: MS. Eng. misc. b. 275/C.235
Extents: 1 file
Dates: 1970-1971
File

'Useful formulae and equivalences', n.d.

'Useful formulae and equivalences' (by C. Wadsworth, annotated by Strachey). Miscellaneous problem sheets, etc. by D. Park, J. Stoy and others.
Shelfmark: MS. Eng. misc. b. 275/C.236
Extents: 1 file
Dates: n.d.
File

'λ-Calculus and models', December 1970

Includes a paper by D. Park, and miscellaneous notes by Strachey.
Shelfmark: MS. Eng. misc. b. 275/C.237
Extents: 1 file
Dates: December 1970
File

'λ-Calculus', 1970

Includes extended narrative by Strachey 'λ-Calculus as a language. Contains details of proof of correctness of substitution lemmas etc. in the model', December 1970. Six bundles of notes and calculations by Strachey, R. Milne, C. Wadsworth.
Shelfmark: MS. Eng. misc. b. 275/C.238
Extents: 1 file
Dates: 1970
File

'Stream Compiler', 1970-1971

Miscellaneous bundles of notes and routines, all in Strachey's hand, some dated December 1970-January 1971, on the design and implementation of the 'Stream Compiler' which was a new compiler for BCPL to run on the P.R.G.'s Modular One System. The work was being done by one of Strachey's D.Phil. students (Alan C. Bamford) under his direction. (Information supplied by M. Harper of P.R.G.)
Shelfmark: MS. Eng. misc. b. 275/C.221
Extents: 1 file
Dates: 1970-1971
File

'Russian Problem', 1971-1973

Printout headed 'Russian Problem', December 1971. (Program for the 'Stream Compiler'). Also included are printouts for a 'Factorial' program and of part of the 'Stream Compiler' itself, and other notes and printouts 1972-1973.
Shelfmark: MS. Eng. misc. b. 275/C.222
Extents: 1 file
Dates: 1971-1973
File

'Off-Line Job Queue', 1971-1978

Strachey's original specification for an 'Off-Line Job Queue' for the P.R.G.'s Modular One computer, dated 28 May 1971. This program served as a 'batch processor' for programs held in a queue. [A version of the program was still in use (January 1978).] (Information supplied by M. Harper of P.R.G.)
Shelfmark: MS. Eng. misc. b. 275/C.223
Extents: 1 file
Dates: 1971-1978
File

Notes for A Mathematical Theory of Computation , 1969

Plans, chapter headings and notes for book A Mathematical Theory of Computation, to be written by Scott and Strachey. The plan and chapter headings are in Scott's hand; comments, notes and drafts for sections of the work are by Strachey. Various dates August 1969. The book was not completed, but many of the notes and calculations in the following folders were preparatory material for the project.
Shelfmark: MS. Eng. misc. b. 275/C.224
Extents: 1 file
Dates: 1969
File

'Various formal programming languages', 1970

Notes and ideas on types of languages, some by Scott but mainly by Strachey. Includes: 'Language 0' 'Language 1' 'Mini-language 1', February-March 1970 'Language 2. Assignment and Hops' 'Language 3. The simple procedure language', by Scott and Strachey.
Shelfmark: MS. Eng. misc. b. 275/C.225
Extents: 1 file
Dates: 1970
File

Paradigm Programming Language, n.d.

'Paradigm Programming Language (P.P.L.). Version 1' (by Scott and Strachey). 'P.P.L. Version 2' (by Scott and Strachey).
Shelfmark: MS. Eng. misc. b. 275/C.226
Extents: 1 file
Dates: n.d.