# 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'.

**Found in:**Working Papers, Notes, and Calculations / Oxford University Programming Resear… / Formal Semantics (in collaboration w…

**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.

**Found in:**Working Papers, Notes, and Calculations / Oxford University Programming Resear… / Formal Semantics (in collaboration w…

**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'
…

**Found in:**Working Papers, Notes, and Calculations / Oxford University Programming Resear… / Formal Semantics (in collaboration w…

**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.

**Found in:**Working Papers, Notes, and Calculations / Oxford University Programming Resear… / Formal Semantics (in collaboration w…

**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.

**Found in:**Working Papers, Notes, and Calculations / Oxford University Programming Resear… / Formal Semantics (in collaboration w…

**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…

**Found in:**Working Papers, Notes, and Calculations / Oxford University Programming Resear… / Formal Semantics (in collaboration w…

**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.

**Found in:**Working Papers, Notes, and Calculations / Oxford University Programming Resear… / Formal Semantics (in collaboration w…

**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.

**Found in:**Working Papers, Notes, and Calculations / Oxford University Programming Resear… / Formal Semantics (in collaboration w…

**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.

**Found in:**Working Papers, Notes, and Calculations / Oxford University Programming Resear… / Formal Semantics (in collaboration w…

**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.

**Found in:**Working Papers, Notes, and Calculations / Oxford University Programming Resear… / Formal Semantics (in collaboration w…

**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.

**Found in:**Working Papers, Notes, and Calculations / Oxford University Programming Resear… / Formal Semantics (in collaboration w…

**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.

**Found in:**Working Papers, Notes, and Calculations / Oxford University Programming Resear… / Formal Semantics (in collaboration w…

**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.)

**Found in:**Working Papers, Notes, and Calculations / Oxford University Programming Resear… / Modular One (Mod I)

**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.

**Found in:**Working Papers, Notes, and Calculations / Oxford University Programming Resear… / Modular One (Mod I)

**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.)

**Found in:**Working Papers, Notes, and Calculations / Oxford University Programming Resear… / Modular One (Mod I)

**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.

**Found in:**Working Papers, Notes, and Calculations / Oxford University Programming Resear… / Formal Semantics (in collaboration w…

**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.

**Found in:**Working Papers, Notes, and Calculations / Oxford University Programming Resear… / Formal Semantics (in collaboration w…

**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).

**Found in:**Working Papers, Notes, and Calculations / Oxford University Programming Resear… / Formal Semantics (in collaboration w…

**Shelfmark:**MS. Eng. misc. b. 275/C.226

**Extents:**1 file

**Dates:**n.d.