'Jumps, etc.'
MS. Eng. misc. b. 275/C.229
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
'Jumps, etc.'
Shelfmark
MS. Eng. misc. b. 275/C.229
Summary
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'
'Examples of Hops, Skips and Jumps (approximate PAL)'
'Attempts at Jumps'
'Jumping Into and Out of Expressions', 3-page narrative by Strachey dated August 1970, manuscript and typescript versions.
Date
1970
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
Oxford University Programming Research Group (P.R.G.)
Formal Semantics (in collaboration with D. Scott and others) including λ-Calculus
'Jumps, etc.'
