Catalogue of the papers and correspondence of Christopher Strachey, 1930-1983

Bodleian Library, University of Oxford

Original catalogue by Jeannine Alton, Harriot Weiskittel and Julia Latham-Jackson; EAD version by Lawrence Mielniczuk

2016

Department of Special Collections
Contact Information
Search Online Catalogues

Table of Contents

Introduction
A    Biographical and Personal
B    Oxford University
C    Working Papers, Notes, and Calculations
    C.1  Standard Telephone & Cables Ltd.
    C.2  Automatic Computing Engine (ACE)
    C.3  National Research Development Corporation, 1951-1959
        C.3.1  Completion of draughts-playing program, 1951-1952
        C.3.2  'Love Letters' program, 1952
        C.3.3  St. Lawrence River Power Project, 1952
        C.3.4  Manchester University Computing Machine Laboratory
            C.3.4.a  Manchester Mark I and Mark II & Ferranti I computers
            C.3.4.b  Notes and routines for the Manchester University Computer
            C.3.4.c  Ferranti Pegasus Computer, design and projects
            C.3.4.d  Projects using Ferranti Pegasus Computer, 1956-1959
            C.3.4.e  Very high speed computers, 1957-1959
        C.3.5  Miscellaneous notes and drafts
    C.4  Private Consultancy, 1959-1964
        C.4.1  General consultancy, 1960-1961
        C.4.2  Work on LISP (LISt + Processing language), 1960-1973
    C.5  Cambridge University Mathematical Laboratory, 1962-1965
        C.5.1  CPL
            C.5.1.a  Published papers
            C.5.1.b  Working papers
            C.5.1.c  BCPL
            C.5.1.d  General Purpose Macrogenerator (GPM)
    C.6  Oxford University Programming Research Group (P.R.G.)
        C.6.1  Project MAC (Multiple-Access Computer)
        C.6.2  KDF9
        C.6.3  Modular One (Mod I)
        C.6.4  Formal Semantics (in collaboration with D. Scott and others) including λ-Calculus
        C.6.5  Miscellaneous notes and drafts
D    Consultancies
    D.1  University of Adelaide Computing Centre - University of Edinburgh Department of Electrical Engineering
    D.2  Electric and Musical Industries Limited (E.M.I.)
    D.3  Elliott Brothers - Evershed and Vignoles
    D.4  Ferranti Limited
    D.5  Foster Brothers Limited - Glyndebourne Festival Opera
    D.6  International Computers and Tabulators Limited (I.C.T.)
    D.7  Mullard Equipment Limited
    D.8  National Institute for Research in Nuclear Science, ATLAS Computer Laboratory, Harwell
    D.9  National Research Development Corporation (N.R.D.C.) - Rio Tinto Management Services (U.K.) Limited
    D.10  Siemens Edison Swan Limited - Solartron Electronics Group
E    Committees and Societies
    E.1  Association for Computing Machinery, British Chapter
    E.2  Automatic Programming Information Centre (A.P.I.C.)
    E.3  British Computer Society (B.C.S.)
    E.4  Department of Scientific and Industrial Research (D.S.I.R.). Working Party on Computer Science
    E.5  Diebold Research Program - European Association for Theoretical Computer Science
    E.6  International Federation for Information Processing (I.F.I.P.), 1962-1975
    E.7  Science Research Council (S.R.C.) Computing Science Committee, 1965-1974
F    Publications, Reviews, Reports & Papers
G    Lectures, Talks and Papers
H    Conferences and Visits, 1956-1975
I    Intentionally Blank
J    Correspondence
    J.1  Correspondence with individuals and organisations
    J.2  Shorter correspondence with publishers and editors
    J.3  References and reports
    J.4  Miscellaneous shorter correspondence


Catalogue of the papers of Christopher Strachey, 1930-1983

Abstract:
Catalogue of the papers and correspondence of Christopher Strachey (1916 - 1975), computer scientist.

Shelfmarks: MS. Eng. misc. b. 248-302
CSAC 71.1.80/A.1-CSAC 71.1.80/J.72
Extent: 55 boxes
Language of Material: English

Biographical History

Christopher Strachey was born in 1916. His father was the cryptographer, Oliver Strachey, from whom he may have derived his lifelong love of visual, verbal and mathematical puzzles and problems. His mother, Rachel ('Ray') Costelloe, was an active suffragist; she built, largely with her own hands, the 'Mud House' near Haslemere which was a family holiday home and was used by Strachey throughout his life as a place of retreat for thinking or writing.

Strachey was educated at Gresham's School, Holt, Norfolk (where he won a medal for the High Jump), and at King's College, Cambridge. He read mathematics and physics, and on leaving the University took an appointment as a Research Physicist in the Valve Research Laboratories, Standard Telephone & Cables Ltd., where he worked on the theoretical design of centimetric radar valves. After the war he became a schoolmaster at St. Edmund's School, Canterbury, 1945-1949, and at Harrow School, 1949-1952. It was during his period at Harrow, and in his spare time, that he began to construct a draughts-playing program for a computer. His temperamental ingenuity and mathematical training coalesced and he had found his metier. According to The Times obituarist, he 'suddenly appeared' in 1950 at the National Physical Laboratory 'with a draughts-playing program for their Pilot ACE'; this is not strictly the case, though it is true that 'this was extraordinarily sophisticated work, particularly for an unknown amateur'. In fact, Strachey had learned the autocode of the Pilot ACE from M. Woodger in January 1950 and had devised a draughts-playing program, but was frustrated by the delay in commissioning the machine, which was not capable of running his program until late 1950. A demonstration in 1951 of an improved version of the program and, characteristically, of a program to play 'God Save the King' on the Manchester Mark I machine led to his appointment as Technical Officer, National Research Development Corporation, 1951-1959. During this period Strachey was involved in work on various computers built by Ferranti Ltd. and by Elliott Brothers, though he is also remembered for another jeu d'esprit, the 'Love Letters' program for the Manchester machine.

Major projects were the St. Lawrence River Power Project, described as 'another tour de force which advanced the opening of the Great Lakes to shipping by many years', logical design for the Elliott 401, and the overall design of the Ferranti Pegasus. Of this, Strachey wrote: 'Pegasus was unusual in that this assembler and library system was designed and completely written before the prototype machine was completed. I did most of the work of commissioning the prototype machine'. A not dissimilar example of his insistence on the primacy of software may be seen many years later, in March 1969, when Strachey's operating system (written in BCPL) for the Modular One machine supplied for his Programming Research Group in Oxford enabled the machine to pass its acceptance trials within hours of its delivery and to be in full operation in 48 hours.

In 1959, at the first international conference on information processing, Strachey gave a paper, Time-sharing in Large Fast Computers, which broke new ground at the time. Strachey himself later moved away from the concept and became 'largely disenchanted with the idea of using a very large machine to do a great many very small jobs', but his name has remained associated with time-sharing.

In the same year, 1959, Strachey left the National Research Development Corporation and, with Peter Landin as his assistant, set up a private consultancy, working from his London house in Bedford Gardens. This was a relatively rare enterprise for the period, and he was consulted by a large proportion of the computer manufacturers then operating in Britain, as well as continuing to work on specific projects for the National Research Development Corporation. Notes, working papers and correspondence relating to the various jobs undertaken will be found in the relevant sections of the catalogue. (The accounts, receipts, etc. in MS. Eng. misc. b.251/A.48-MS. Eng. misc. b. b. 252/A.60 are of interest in showing how a consultancy of this type, rare at the time in Britain, could be pursued.) Strachey took steps to wind down the business in October 1964, though the final accounts go up to 31 July 1965.

His own primary interest in high-level programming languages and mathematical semantics was furthered by his work on LISP for the EMIDEC 2400 machine, and led in 1962 to a part-time appointment at Cambridge University Mathematical Laboratory and a Senior Research Fellowship at Churchill College, Cambridge. The project was the design of the hardware and software of the Titan computer, later known as the Atlas 2. Strachey's specific contribution to the project was the development of a general purpose programming language (known as CPL) and its compiler. In a tribute to Strachey, published in The Computer Bulletin, September 1975, David Barron writes of this episode:

We never did get a compiler, but at the end of it he had formulated some of the fundamental ideas of modern programming languages, had sown the seed for the work on formal semantics that he and Peter Landin were later to pursue, and I had gained an understanding of programming languages the depth of which I have only recently come to appreciate.
One of our first concerns was the name of the language. One of the ideas we floated, and discarded as too presumptuous, was 'Programming language one'. We have been kicking ourselves ever since. We eventually settled on CPL, for 'Cambridge programming language', and when later a group from the Institute of Computer Science in London joined the project the same acronym was used, the meaning now being 'Combined programming language'. It did not escape notice that the initials could also denote 'Christopher's programming language', and that is how I, for one, would wish it to be remembered. We devoted a lot of time in the early days to syntactic matters, particularly to the problem of defining operator precedence so that the 'obvious' mathematical meaning of an expression is retained. However, this preoccupation with syntax was short-lived, being terminated by the enunciation of Strachey's first law of programming: 'Decide what you want to say before you worry about how you are going to say it'. Following this dictum, Christopher began to think about the formal semantic definition of languages, particularly by use of the lambda calculus, and produced a number of highly significant concepts, notably 'left hand values' and 'right hand values', the direct descendant of which is the reference concept that is central to Algol 68. Although CPL was never completely implemented, and scarcely used, it had a remarkable influence. BCPL., devised by one of Strachey's students as an implementation subset of CPL, had established itself as an implementation language in its own right; POP-2 and Algol 68 show many traces of CPL in their design.

The work on CPL also bore fruit more directly for Strachey. It led to his development of the General Purpose Macrogenerator, 'a simple but very general string processor', and to the paper Towards a Formal Semantics, which he described as 'the beginning of a mathematical (as apposed to operational) approach to formulating the semantics of a programming language', and on which he continued to work, in collaboration especially with Dana Scott, for the rest of his life. It also led to the Summer School on 'Advances in programming and non-numerical analysis' held in 1963 at Oxford, where, in 1965, the Programming Research Group was established under Strachey's direction. He remained there, as Reader then Professor in Computation, and Fellow of Wolfson College, until his death in 1975.

In April 1966 Strachey took up an appointment as 'leader of the group for research into the non-numerical uses of computers which is being set up in the Computing Laboratory under a grant from the Science Research Council'. The appointment carried the status of Reader; Strachey became an ad hominem Professor in 1971, his group being known as the Programming Research Group, see Section B. The Chair of Computation is now statutory, Strachey's successor (C.A.R. Hoare) being the first incumbent; the Chair carries with it a Professorial Fellowship at Wolfson College, where Strachey was a Fellow from 1966. For working notes on projects carried out by the Programming Research Group, see MS. Eng. misc. b. 273/C.202-MS. Eng. misc. b. 277/C.274.

From about 1962, Strachey began to be increasingly involved with public life and policy in computing. He served on various committees of the British Computer Society, the Department of Scientific and Industrial Research and later the Science Research Council, the International Federation for Information Processing, and others. He was also in demand for lectures and papers, at conferences, working parties, symposia and the like, as well as to referee research proposals and publications. In 1971, Donald Michie wrote: 'Today an "invisible college" of programming theory exists throughout the Universities of Britain. Almost every member of this "college" was guided along the path at some stage by Strachey's direct or indirect influence'.

Although, in compiling the above outline of Strachey's career and work, use has been made of printed obituaries and tributes, the collection itself documents the whole story, often in great detail. This is because Strachey was of a squirrel-like temperament, retaining his own papers and incoming material. From time to time, too, he would draw up a tabulated 'state of affairs' document summarising aspects of his life and activity. Much of the collection is indeed Strachey's own manuscript, in a small hand which hardly varied with time; the programming for the Manchester machines, the mathematical calculations on eigenvalues, the LISP compiler, the Modular One compiler, and many others, are all entirely in his hand. There are also multiple drafts for major papers on Fundamental Concepts in Programming Languages (1967, unpublished), Varieties of Programming Languages (1972), and A Theory of Programming Language Semantics (1974, unpublished). Of more than personal interest, too, are the various receipts and account books, particularly those relating to his private consultancy, which show how such an enterprise could be run at the time.

The section on Strachey's consultancies often includes programs, reports and other printed or duplicated material emanating from the firms or manufactures involved. These have been retained, as subsequent mergers and changes in the British computer industry have often occurred.

There is no bibliography of Strachey's writings; he was notoriously reluctant to commit himself to academic writing and some of his major work remained unfinished or unpublished at his death. Shorter articles, papers and drafts can be found passim. See especially sections C, F and G; there is a note in the introduction to section H on such material included there.

Scope and Content

Section A: Biographical and personal

Section B: Oxford University

Section C: Working papers, notes, calculations

Section D: Consultancies

Section E: Committees and societies

Section F Publications, reviews, reports

Section G Lectures, talks and papers

Section H Conferences

Section I (intentionally skipped)

Section J Correspondence

Arrangement

The extensive nature of the material necessitated a division into 'Sections' which is in many ways artificial.

Immediate Source of Acquisition

The material was assembled from the house of Mrs. Barbara Halpern, Strachey's sister, and from his room at the Programming Research Group, Oxford.


Note:

Original catalogue compiled by Jeannine Alton, Harriot Weiskittel and Julia Latham-Jackson.

ACKNOWLEDGEMENTS

We are grateful for help and information received from many sources in assessing and identifying material, and in drafting the catalogue, most particularly to:

Preferred Form of Citation

MS. Eng. misc. b. 248/A.1

Subjects (LCSH)

Computer science

A   Biographical and Personal


Obituaries and tributes
Date: 1977
Shelfmark: MS. Eng. misc. b. 248/A.1
Former ref: CSAC 71.1.80/A.1

Scope and Content:

Obituaries and tributes by Lord Halsbury, and others.

'Christopher Strachey: A Personal Reminiscence' by David Barron.

Also included here is a typescript of 'An Appreciation of Christopher Strachey and his Work' by D.S. Scott, published as a Foreword to J.E. Stoy: Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, M.I.T. Press.

Some of the material has been drawn on in framing several of the catalogue entries.


Biographical material and interviews
Date: 1946-1974
Shelfmark: MS. Eng. misc. b. 248/A.2
Former ref: CSAC 71.1.80/A.2

Scope and Content:

Includes miscellaneous curricula vitae, autobiographical notes, etc. prepared by Strachey on various occasions, 1946, 1956, 1962, 1965, 1967, 1971, 1973.

'Getting down to software fundamentals', interview with Strachey by Nancy Foy, in Dataweek, Vol. 12, no. 2, 8 July 1970 (photocopy). The original publication also carries a front cover photograph of Strachey.

'The word games of the night bird', interview with Strachey by Nancy Foy, in Computing Europe, 15 August 1974.

'Computing: Can Britain Set the Pace', article by D. Michie in University of Edinburgh Bulletin, November 1971.

Some of the material has been drawn on in framing several of the catalogue entries.


Bibliographies and lists of published works
Date: 1971-1973
Shelfmark: MS. Eng. misc. b. 248/A.3
Former ref: CSAC 71.1.80/A.3

Scope and Content:

Bibliographies and lists of published works, mainly prepared by Strachey for Lord Halsbury at various dates.

Some of the material has been drawn on in framing several of the catalogue entries.


Letters of condolence
Date: 1975
Shelfmark: MS. Eng. misc. b. 248/A.4
Former ref: CSAC 71.1.80/A.4

Scope and Content:

Letters of condolence received on Strachey's death.

Organisation and programme of Requiem Mass at Blackfriars, Oxford, 21 June 1975.


Pocket diaries
Date: 1948-1974
Shelfmark: MS. Eng. misc. b. 248/A.5
Former ref: CSAC 71.1.80/A.5

Scope and Content:

Pocket diaries: 1948, 1949, 1952-1965 (2 diaries for 1965), 1968-1974.

Related Material:

For further diaries covering Strachey's work as a private consultant, see MS. Eng. misc. b. 252/A.56-MS. Eng. misc. b. 252/A.60.



Account of life and work
Date: 1926-1964
Shelfmark: MS. Eng. misc. b. 248/A.6
Former ref: CSAC 71.1.80/A.6

Scope and Content:

Tabulated account of his life and activity, drawn up by Strachey.

The information, itemised by year and by month, is compressed in Strachey's very tiny handwriting on to 2½ sheets of writing-paper. The earliest entry is for 1926, and the entries have been added in blocks of two or three years at a time, to the end of 1964.

Personal and professional events are recorded, and the account is remarkable for the amount of information encompassed.


Address books
Date: n.d.
Shelfmark: MS. Eng. misc. b. 248/A.7
Former ref: CSAC 71.1.80/A.7

Scope and Content:

Address books (8) and loose pages of addresses. One of the books bears a note by Mrs. Halpern (Strachey's sister): 'must have been started some time in the 1930s at latest'.


Miscellaneous receipts and accounts
Date: 1934-1945
Shelfmark: MS. Eng. misc. b. 249/A.8
Former ref: CSAC 71.1.80/A.8

Scope and Content:

3 packets parcelled and labelled by Strachey as follows:

  • 'Cambridge receipts 1934 - August 1939'
  • 'Blackheath 1939-1940'
  • 'Ilminster receipts'.

Included here are miscellaneous receipts 1941-1945 relating to Strachey's employment at Standard Telephones and Cables.


Miscellaneous receipts and accounts
Date: 1940-1947
Shelfmark: MS. Eng. misc. b. 249/A.9
Former ref: CSAC 71.1.80/A.9

Scope and Content:

Two green account books, one including details of Strachey's administration of various family accounts and monies, 1941-1942, one 'Letter Book', 1940.

Two envelopes of Bank Statements covering Strachey's and family accounts, 1940-1947.

One S.O. Book of domestic accounts, n.d. [c.1945].

Related Material:

For receipts and accounts at Harrow, see MS. Eng. misc. b. 250/A.32.

For account books covering Strachey's work as a private consultant 1959-1965, see MS. Eng. misc. b. 251/A.48-MS. Eng. misc. b. 251/A.51 and MS. Eng. misc. b. 252/A.52-MS. Eng. misc. b. 252/A.55.



Gresham's School, Holt
Date: 1930-1935
Shelfmark: MS. Eng. misc. b. 249/A.10
Former ref: CSAC 71.1.80/A.10

Scope and Content:

Medal for '1st High Jump, under 16'.

Essay on 'Unselfishness' dated May 1935.


King's College, Cambridge
Date: n.d.
Shelfmark: MS. Eng. misc. b. 249/A.11
Former ref: CSAC 71.1.80/A.11

Scope and Content:

Ring-back notebook of 'Miscellaneous Notes' of lectures attended. Includes:

  • 'Cockroft (sic). Production and Measurement of Low Temps.'
  • 'Adiabatic Demagnetisation'
  • 'Properties of Liquid Helium'
  • 'Resistance of Metals at Low Temps.'.

King's College, Cambridge
Date: 1936
Shelfmark: MS. Eng. misc. b. 249/A.12
Former ref: CSAC 71.1.80/A.12

Scope and Content:

Notebook, dated October 1936, 'Constitution of Matter. Lord Rutherford'.

Notes on lectures.


King's College, Cambridge
Date: 1937
Shelfmark: MS. Eng. misc. b. 249/A.13
Former ref: CSAC 71.1.80/A.13

Scope and Content:

Essay on current trends in vice, submitted for the James Essay Prize, (typescript), 14 pages.


King's College, Cambridge
Date: Oct 1938
Shelfmark: MS. Eng. misc. b. 249/A.14
Former ref: CSAC 71.1.80/A.14

Scope and Content:

'History of Morals', an outline plan of research, 3 pages.

Includes letters, from Joan Bennet and Basil Willey to whom Strachey appears to have written about the scheme.


King's College, Cambridge
Date: n.d
Shelfmark: MS. Eng. misc. b. 249/A.15
Former ref: CSAC 71.1.80/A.15

Scope and Content:

'Value Judgments. Ethics and Aesthetics'. Manuscript draft for a talk.


King's College, Cambridge
Date: n.d.
Shelfmark: MS. Eng. misc. b. 249/A.16
Former ref: CSAC 71.1.80/A.16

Scope and Content:

'Science, Psychology and Religion'.

Plan for an essay or more extended work, covering 'The battle, The proponents, The result, The solution', with 4 pages of more developed ideas.


King's College, Cambridge
Date: 1939
Shelfmark: MS. Eng. misc. b. 249/A.17
Former ref: CSAC 71.1.80/A.17

Scope and Content:

Ring-back notebook, 'Atmospheric Electricity', notes of lectures attended, some dated January 1939.


Correspondence
Date: 1939
Shelfmark: MS. Eng. misc. b. 249/A.18
Former ref: CSAC 71.1.80/A.18

Scope and Content:

Correspondence relating to Strachey's appointment as Physicist, Valve Development Laboratory, Standard Telephones and Cables Ltd. [S.T.C.].


Correspondence
Date: 1943
Shelfmark: MS. Eng. misc. b. 249/A.19
Former ref: CSAC 71.1.80/A.19

Scope and Content:

Brief correspondence regarding Strachey's enquiry about admission as Research Student at Cambridge. Includes postcard sent from T.R.E. Malvern by E.S. Shire referring to Strachey's work at S.T.C.


Correspondence
Date: 1945
Shelfmark: MS. Eng. misc. b. 249/A.20
Former ref: CSAC 71.1.80/A.20

Scope and Content:

Correspondence with S.T.C. regarding Strachey's wish to leave the Company and pursue a teaching career, 1945; includes testimonials from C.E. Strong (Chief Radio Engineer, S.T.C.) and from D. Beves (King's College, Cambridge).


Job applications
Date: 1945
Shelfmark: MS. Eng. misc. b. 249/A.21
Former ref: CSAC 71.1.80/A.21

Scope and Content:

Miscellaneous applications for posts in schools.


St. Edmunds's School, Canterbury
Date: 1945
Shelfmark: MS. Eng. misc. b. 249/A.22
Former ref: CSAC 71.1.80/A.22

Scope and Content:

Correspondence and appointment as physics and mathematics master, St. Edmund's School.


St. Edmunds's School, Canterbury
Date: October 1945
Shelfmark: MS. Eng. misc. b. 249/A.23
Former ref: CSAC 71.1.80/A.23

Scope and Content:

Journal kept by Strachey of early days at St. Edmund's.


St. Edmunds's School, Canterbury
Date: 1949
Shelfmark: MS. Eng. misc. b. 250/A.24
Former ref: CSAC 71.1.80/A.24

Scope and Content:

Loose-leaf notebook with detailed plans for physics syllabus and for advanced mathematics scheme, with breakdown into terms and periods, forward planning to 1949, and fully written-up course with demonstrations on Surface Tension for 6th Form.


St. Edmunds's School, Canterbury
Date: March 1946
Shelfmark: MS. Eng. misc. b. 250/A.25
Former ref: CSAC 71.1.80/A.25

Scope and Content:

Notebook, '10 Questions', on calculus, algebra and mechanics.


St. Edmunds's School, Canterbury
Date: n.d.
Shelfmark: MS. Eng. misc. b. 250/A.26
Former ref: CSAC 71.1.80/A.26

Scope and Content:

Notebook, 'Higher Certificate Maths and Physics Answers' (analyses of previous examination papers).


St. Edmunds's School, Canterbury
Date: n.d.
Shelfmark: MS. Eng. misc. b. 250/A.27
Former ref: CSAC 71.1.80/A.27

Scope and Content:

Notebook, 'Cambridge Maths. Scholarship papers. Solutions' (analyses of examination papers set by different Cambridge colleges).


St. Edmunds's School, Canterbury
Date: n.d.
Shelfmark: MS. Eng. misc. b. 250/A.28
Former ref: CSAC 71.1.80/A.28

Scope and Content:

Notebook, 'Mathematical Problem Papers, Solutions'.


St. Edmunds's School, Canterbury
Date: n.d.
Shelfmark: MS. Eng. misc. b. 250/A.29
Former ref: CSAC 71.1.80/A.29

Scope and Content:

Folder of material relating to music at St. Edmund's.

Includes a talk by Strachey 'On learning a musical instrument', encouraging boys to join the school orchestra, and his description, instructions and diagrams of the school gramophone.


Job applications
Date: 1948-1949
Shelfmark: MS. Eng. misc. b. 250/A.30
Former ref: CSAC 71.1.80/A.30

Scope and Content:

Miscellaneous applications for posts in schools.

Includes copies of Strachey's c.v., letters of application and testimonials, correspondence with referees and schools.


Harrow School
Date: 1949-1951
Shelfmark: MS. Eng. misc. b. 250/A.31
Former ref: CSAC 71.1.80/A.31

Scope and Content:

Correspondence regarding appointment (1949), housing arrangements (1949-1950), confirmation of appointment as Master of the School (August 1951) and resignation on acceptance of post with National Research Development Corporation (November 1951); mainly with the Headmaster and Bursar.


Harrow School
Date: 1946-1948
Shelfmark: MS. Eng. misc. b. 250/A.32
Former ref: CSAC 71.1.80/A.32

Scope and Content:

Receipts and accounts during employment at Harrow (some of the salary statements also cover employment at St. Edmund's School, Canterbury).


Harrow School
Date: n.d.
Shelfmark: MS. Eng. misc. b. 250/A.33
Former ref: CSAC 71.1.80/A.33

Scope and Content:

Miscellaneous papers and calculations on physics, especially electricity and circuitry.

Notes on 'Circle Constructions (Apollonius problem)'.

Manuscript on 'Quantum Theory of Radiation', 'Atomic Energy', etc.

Detailed tables of pupils' performances in mathematics and physics examinations.


Harrow School
Date: n.d.
Shelfmark: MS. Eng. misc. b. 250/A.34
Former ref: CSAC 71.1.80/A.34

Scope and Content:

Miscellaneous general knowledge papers set at Harrow by Strachey.


Harrow School
Date: n.d.
Shelfmark: MS. Eng. misc. b. 250/A.35
Former ref: CSAC 71.1.80/A.35

Scope and Content:

'Cybernetics', 15 pages.


Harrow School
Date: n.d.
Shelfmark: MS. Eng. misc. b. 250/A.36
Former ref: CSAC 71.1.80/A.36

Scope and Content:

'Social implications of cybernetics. The coming second industrial revolution', 10 pages.


Harrow School
Date: 1950-1951
Shelfmark: MS. Eng. misc. b. 250/A.37
Former ref: CSAC 71.1.80/A.37

Scope and Content:

'Interplanetary travel'.

Manuscript and typescript versions, and calculations on various factors in space travel.

A copy of the Harrow School magazine for 1950, in which the article appeared (pages 18-23) is included.

Also included here is a copy of H.M. Inspectors' Report on Harrow, May 1951.


Harrow School
Date: 1950
Shelfmark: MS. Eng. misc. b. 250/A.38
Former ref: CSAC 71.1.80/A.38

Scope and Content:

Folder inscribed 'Miscellaneous maths problems (in hand!)'.

Miscellaneous notes and calculations, n.d. but c.1950. Some intended for school use, others more advanced.


Technical Officer, National Research Development Corporation [N.R.D.C.]
Date: 1951
Shelfmark: MS. Eng. misc. b. 251/A.39
Former ref: CSAC 71.1.80/A.39

Scope and Content:

Correspondence regarding Strachey's appointment to the Corporation, with M.H.A. Newman, Lord Halsbury and others, October-December 1951. Strachey's letter to Newman of 5 October 1951 gives a clear outline of his career to date, referring to his growing interest in digital computing via M. Woodger and ACE, A.M. Turing and the Manchester machine, his draughts programme, etc.

Newman's and Halsbury's letters refer to the impressive quality of the programs prepared by Strachey for the Manchester machine, including his 'God Save the King' musical program.


Technical Officer, National Research Development Corporation [N.R.D.C.]
Date: 1952-1959
Shelfmark: MS. Eng. misc. b. 251/A.40
Former ref: CSAC 71.1.80/A.40

Scope and Content:

Envelope of 'Salary and fee slips 1952-1959'.


Technical Officer, National Research Development Corporation [N.R.D.C.]
Date: 1956-1957
Shelfmark: MS. Eng. misc. b. 251/A.41
Former ref: CSAC 71.1.80/A.41

Scope and Content:

Patent Application for 'Improvement in or relating to circuit arrangements for dividing binary numbers', invented by Strachey during work on Elliott D.F. Calculator while employed by N.R.D.C.


Technical Officer, National Research Development Corporation [N.R.D.C.]
Date: 1959-1963
Shelfmark: MS. Eng. misc. b. 251/A.42
Former ref: CSAC 71.1.80/A.42

Scope and Content:

Correspondence and drafts regarding a Patent Application for 'Computer Director Case', 1959. Correspondence continues 1960-1963.


Job application
Date: 1956-1957
Shelfmark: MS. Eng. misc. b. 251/A.43
Former ref: CSAC 71.1.80/A.43

Scope and Content:

Application for appointment as Director of the University of London Computational Unit.

(Strachey applied for the post in November 1956 and withdrew his application in March 1957.)


Private consultancy
Date: 1959
Shelfmark: MS. Eng. misc. b. 251/A.44
Former ref: CSAC 71.1.80/A.44

Scope and Content:

Correspondence regarding Strachey's plans for his consultancy.


Private consultancy
Date: 1959-1962
Shelfmark: MS. Eng. misc. b. 251/A.45
Former ref: CSAC 71.1.80/A.45

Scope and Content:

Correspondence and requests for books from ASLIB.


Private consultancy
Date: 1960-1964, n.d.
Shelfmark: MS. Eng. misc. b. 251/A.46
Former ref: CSAC 71.1.80/A.46

Scope and Content:

Miscellaneous office correspondence.


Private consultancy
Date: 1959-1964
Shelfmark: MS. Eng. misc. b. 251/A.47
Former ref: CSAC 71.1.80/A.47

Scope and Content:

Correspondence with and regarding P. Landin.

Includes references, which summarise the work done on Orion, CPL, etc.


Private consultancy
Date: 1959-1960
Shelfmark: MS. Eng. misc. b. 251/A.48
Former ref: CSAC 71.1.80/A.48

Scope and Content:

Receipts and accounts.


Private consultancy
Date: 1960-1961
Shelfmark: MS. Eng. misc. b. 251/A.49
Former ref: CSAC 71.1.80/A.49

Scope and Content:

Receipts and accounts.


Private consultancy
Date: 1959-1964
Shelfmark: MS. Eng. misc. b. 251/A.50
Former ref: CSAC 71.1.80/A.50

Scope and Content:

Correspondence regarding P.A.Y.E., National Insurance, Graduated Pensions, etc.

Includes Strachey's letters declaring his business closed.


Private consultancy
Date: 1960-1965
Shelfmark: MS. Eng. misc. b. 251/A.51
Former ref: CSAC 71.1.80/A.51

Scope and Content:

Certified accounts with detailed statements of income and expenditure.


Private consultancy
Date: Apr 1959-Jun 1963
Shelfmark: MS. Eng. misc. b. 252/A.52
Former ref: CSAC 71.1.80/A.52

Scope and Content:

Bank book.


Private consultancy
Date: 1959-Jul 1965
Shelfmark: MS. Eng. misc. b. 252/A.53
Former ref: CSAC 71.1.80/A.53

Scope and Content:

Petty Cash book.


Private consultancy
Date: Dec 1963-Apr 1965
Shelfmark: MS. Eng. misc. b. 252/A.54
Former ref: CSAC 71.1.80/A.54

Scope and Content:

Stamp Account and letter book.


Private consultancy
Date: 1959-1964
Shelfmark: MS. Eng. misc. b. 252/A.55
Former ref: CSAC 71.1.80/A.55

Scope and Content:

Account Book for P. Landin.


Private consultancy
Date: 1960
Shelfmark: MS. Eng. misc. b. 252/A.56
Former ref: CSAC 71.1.80/A.56

Scope and Content:

Diary for P. Landin.


Private consultancy
Date: 1960
Shelfmark: MS. Eng. misc. b. 252/A.57
Former ref: CSAC 71.1.80/A.57

Scope and Content:

Engagement diary.


Private consultancy
Date: 1961
Shelfmark: MS. Eng. misc. b. 252/A.58
Former ref: CSAC 71.1.80/A.58

Scope and Content:

Engagement diary.


Private consultancy
Date: 1962
Shelfmark: MS. Eng. misc. b. 252/A.59
Former ref: CSAC 71.1.80/A.59

Scope and Content:

Engagement diary.


Private consultancy
Date: 1964
Shelfmark: MS. Eng. misc. b. 252/A.60
Former ref: CSAC 71.1.80/A.60

Scope and Content:

Engagement diary.


Churchill College, Cambridge
Date: 1962-1965
Shelfmark: MS. Eng. misc. b. 253/A.61
Former ref: CSAC 71.1.80/A.61

Scope and Content:

Brief correspondence with the College, including letters from Master (Sir John Cockcroft) offering Research Fellowship, 1962, and accepting Strachey's resignation on his departure to Massachusetts Institute of Technology, 1965.


Churchill College, Cambridge
Date: 1965
Shelfmark: MS. Eng. misc. b. 253/A.62
Former ref: CSAC 71.1.80/A.62

Scope and Content:

Correspondence with M.V. Wilkes, Director, Mathematical Laboratory, regarding offer of post for work on Titan project (1962), and Strachey's resignation.


Churchill College, Cambridge
Date: 1964
Shelfmark: MS. Eng. misc. b. 253/A.63
Former ref: CSAC 71.1.80/A.63

Scope and Content:

Application for post of Professor of Computing Science, Imperial College, London.

Includes brief correspondence with S. Gill, who was appointed to the Chair.


Churchill College, Cambridge
Date: n.d.
Shelfmark: MS. Eng. misc. b. 253/A.64
Former ref: CSAC 71.1.80/A.64

Scope and Content:

Correspondence regarding invitation to Strachey to work on time-sharing project at Computer Center, Berkeley, California. (Declined through pressure of work and other projects.)


King's College, Cambridge
Date: 1961-1962
Shelfmark: MS. Eng. misc. b. 253/A.65
Former ref: CSAC 71.1.80/A.65

Scope and Content:

Brief correspondence regarding Strachey's election as member of High Table, dining rights, etc.


Visit to Massachusetts Institute of Technology
Date: n.d.
Shelfmark: MS. Eng. misc. b. 253/A.66
Former ref: CSAC 71.1.80/A.66

Scope and Content:

Letter of appointment, miscellaneous accounts and receipts, travel arrangements, etc.

Correspondence with J. Weizenbaum regarding Project MAC and Strachey's report on his visit to Project MAC.

Letter to P. Elias with Strachey's outline of his proposed 'Mathematical Theory of Programming Languages Seminar'.


Visit to Massachusetts Institute of Technology
Date: 1965, 1966
Shelfmark: MS. Eng. misc. b. 253/A.67
Former ref: CSAC 71.1.80/A.67

Scope and Content:

Correspondence with I.B.M. U.K. Ltd. regarding Strachey patents.


University of Oxford
Date: 1976
Shelfmark: MS. Eng. misc. b. 253/A.68
Former ref: CSAC 71.1.80/A.68

Scope and Content:

Miscellaneous correspondence, letters of appointment, applications for sabbatical leave, correspondence regarding change from Reader to Professor, etc. A copy of Oxford University Gazette regarding applications for the 'newly established Professorship of Computation', May 1976, is included here.


University of Oxford
Date: 1971-1974
Shelfmark: MS. Eng. misc. b. 253/A.69
Former ref: CSAC 71.1.80/A.69

Scope and Content:

Correspondence and papers regarding 'B.R.S. Trust', a charitable educational Trust, founded by Strachey with Trustees A.W. Blackwell, M.P. Ramsbotham, J.D. Spofforth. Strachey did not wish his name to be directly connected with the Trust, which was intended to make small grants to individuals for educational purposes. His own letters and notes on the subject were often written on a computer.


University of Oxford
Date: 1973
Shelfmark: MS. Eng. misc. b. 253/A.70
Former ref: CSAC 71.1.80/A.70

Scope and Content:

Plans for alterations, furnishings, etc. at Strachey's house, 18 Worcester Place, Oxford.


University of Oxford
Date: c.1973
Shelfmark: MS. Eng. misc. b. 253/A.71
Former ref: CSAC 71.1.80/A.71

Scope and Content:

Guest-lists and costings for house-warming and parties.


University of Oxford
Date: 1961
Shelfmark: MS. Eng. misc. b. 253/A.72
Former ref: CSAC 71.1.80/A.72

Scope and Content:

Folder of 'puzzles', verbal, visual and mathematical, created by Strachey at various times.

Included here is correspondence and material related to Strachey's winning of the New Scientist competition, three times running in 1961.

Related Material:

See also MS. Eng. misc. b. 289/F.18.



University of Oxford
Date: 1975
Shelfmark: MS. Eng. misc. b. 253/A.73
Former ref: CSAC 71.1.80/A.73

Scope and Content:

Strachey's last computer programs at Oxford, 30 March and 7 April 1975, with descriptive manuscript note by M. Harper (Programming Research Group).


Photographs and drawings of Strachey, from childhood
Date: n.d.
Shelfmark: MS. Eng. misc. b. 253/A.74
Former ref: CSAC 71.1.80/A.74

Scope and Content:

Includes a 'computer portrait'.


Miscellaneous biographical items
Date: 1934-1952
Shelfmark: MS. Eng. misc. b. 253/A.75
Former ref: CSAC 71.1.80/A.75

Scope and Content:

Includes:

  • 'Catalogue' and 'Share Certificate' of 'The Mud Press' with a note by Mrs. Halpern that this was started and run by Strachey at age 11.
  • Education Certificate, 1934
  • Report on Strachey drawn up by Vocational Guidance Department, National Institute of Industrial Psychology, 1938
  • B.B.C. Listener Research Report on a talk by Strachey 'Control without Men', May 1952
  • Notebook inscribed 'Notes from Books', beginning with notes (perhaps at Cambridge) and continuing with inventories and particulars of The Mud House. (The Mud House was the family home at Haslemere where Strachey regularly retreated to relax and think.)

Miscellaneous biographical items
Date: 1971-1973
Shelfmark: MS. Eng. misc. b. 253/A.76
Former ref: CSAC 71.1.80/A.76

Scope and Content:

Miscellaneous biographical items relating to music, the Savile Club, The Cranium, Election to Distinguished Fellowship British Computer Society 1971, plans for holidays, draft of Strachey's Will, c.1973.


Miscellaneous biographical items
Date: 1960-1961
Shelfmark: MS. Eng. misc. b. 253/A.77
Former ref: CSAC 71.1.80/A.77

Scope and Content:

Folder of correspondence, claims, etc. regarding a car accident.


Miscellaneous biographical items
Date: n.d.
Shelfmark: MS. Eng. misc. b. 253/A.78
Former ref: CSAC 71.1.80/A.78

Scope and Content:

Passport, health certificates, membership cards, press cuttings, etc.

B   Oxford University


Scope and Content:

This Section traces the formation and expansion of the Programming Research Group under Strachey's leadership, and also includes some material relating to Wolfson College of which he was a Fellow.

The Programming Research Group was established at Oxford to investigate the general theory of information processing and the nature of computing machines. After an unsuccessful initial application by Strachey directly to the Department of Scientific and Industrial Research for a grant to establish such a group (MS. Eng. misc. b. 254/B.2), Leslie Fox, Director of the Oxford University Computing Laboratory, applied in September 1964 on Strachey's behalf for a grant of £194,506 over 7½ years (MS. Eng. misc. b. 254/B.4). In January 1965 a grant was awarded for £62,750 for the period 1 July 1965 to 31 July 1967. This original grant was extended and supplemented by the Science Research Council (successor to the Department of Scientific and Industrial Research) over the years; when Strachey submitted his final report to the Science Research Council in May 1974, the funding totalled £224,900. Although the grant officially began on 1 July 1965, Strachey did not take up his post as leader of the Programming Research Group until April 1966. He became Reader in Computation in 1967 and Professor of Computation in 1971. He was elected a Fellow of Wolfson College in 1966 (MS. Eng. misc. b. 255/B.27).

The many Progress Reports and descriptions of the Programming Research Group and its work illustrate the emergence of the Group's 'worldwide reputation as a centre both of theoretical work in the formal semantics of programming languages and of experimental work on operating systems and virtual machine design' (MS. Eng. misc. b. 254/B.9).

The interview with Strachey published in Dataweek (MS. Eng. misc. b. 248/A.2) gives an informal account of the Programming Research Group.

Related Material:

See also:



Oxford University
Date: 1962-1963
Shelfmark: MS. Eng. misc. b. 254/B.1
Former ref: CSAC 71.1.80/B.1

Scope and Content:

Contains:

  • 'Computers and University Research'
  • Four-page memorandum prepared by Strachey, June 1962, and circulated to the Department of Scientific and Industrial Research Working Party on Computer Science
  • Also included is a copy of a 'Memorandum on a proposed research unit in computer science' by M.V. Wilkes, 16 March 1963, also prepared for Working Party.
Related Material:

See MS. Eng. misc. b. 286/E.24.



Oxford University
Date: 1963-1974
Shelfmark: MS. Eng. misc. b. 254/B.2
Former ref: CSAC 71.1.80/B.2

Scope and Content:

Contains:

  • 'Research in the theory of computation and information processing'
  • Manuscript draft (18 pages) and 2 typescripts (November 1963) of Strachey's application to the Department of Scientific and Industrial Research for a grant to establish a new unit for research in theory of computation
  • A revised version, dated September 1964 and included here, was later used as Appendix B for the final report to the Science Research Council, 1974.
Related Material:

See MS. Eng. misc. b. 254/B.4 for related correspondence. See also MS. Eng. misc. b. 254/B.9



Oxford University
Date: 1962-1963
Shelfmark: MS. Eng. misc. b. 254/B.3
Former ref: CSAC 71.1.80/B.3

Scope and Content:

Contains:

  • Miscellaneous notes prepared by Strachey when writing the application
  • Includes curriculum vitae, notes on salary scales and staff requirements, 'categories of the computing sciences', notes on 'M/c lang.'.

Oxford University
Date: 1964-1966
Shelfmark: MS. Eng. misc. b. 254/B.4
Former ref: CSAC 71.1.80/B.4

Scope and Content:

Folder of correspondence and papers documenting the preliminary negotiations which led to the establishment of the Programming Research Group.

Includes:

  • Draft application by L. Fox to the Department of Scientific and Industrial Research for a grant to Oxford University for research into non-numerical uses of computers, to be directed by Strachey (July 1964)
  • Strachey's manuscript 'Notes on Fox's application'
  • Correspondence between Strachey and Fox regarding this application and minor amendments suggested by Strachey. Strachey sent Fox a copy of the 'technical note' (in MS. Eng. misc. b. 254/B.2) to accompany the proposal
  • After the grant was awarded (from 1 July 1965), the correspondence continued regarding space, equipment and budget requirements of the new group. The name 'the programming research group', suggested by Strachey in his letter to Fox, 6 May 1965, was adopted
  • Some correspondence regarding prospective members of the Group is also included.

Oxford University
Date: 1965-1975
Shelfmark: MS. Eng. misc. b. 254/B.5
Former ref: CSAC 71.1.80/B.5

Scope and Content:

'Science Research Council Grant. Formal Documents'.

Includes:

  • Copies of submission to the Science Research Council, official correspondence with Science Research Council and Oxford University regarding original grant to establish the Programming Research Group and regarding the extension and supplementation of the grant
  • Draft of letter by Strachey to the Science Research Council reporting on work of Group to January 1969
  • Letter from Leverhulme Trust Fund awarding grant to Strachey (to be channelled through Oxford University) for employing a research assistant on computer languages.

Oxford University
Date: 1973-1974
Shelfmark: MS. Eng. misc. b. 254/B.6
Former ref: CSAC 71.1.80/B.6

Scope and Content:

Folder inscribed 'Science Research Council Grant. General Accounts and Estimates'

Correspondence with Oxford University and the Science Research Council regarding budget estimates, salaries, equipment, maintenance agreements

Strachey's notes, calculations, drafts of letters and memoranda.

Related Material:

See also MS. Eng. misc. 254/B.10. There is some overlap of contents between these two folders, but they remain in their original order.



Oxford University
Date: 1965-1969
Shelfmark: MS. Eng. misc. b. 254/B.7
Former ref: CSAC 71.1.80/B.7

Scope and Content:

'Progress Reports. Science Research Council and University'.

Four reports for the Computing Laboratory, Oxford, 1965-1966, 1966-1967, 1967-1968, 1968-1969 (one page typescript each).

Five reports to the Science Research Council:

  • 1965-1966 2-page typescript
  • 1966-1967 2-page typescript
  • 1967-1968 5-page typescript
  • 1968-1969 13-page typescript
  • 1970-1971 13-page typescript.

These reports provide a valuable summary of the activities of the Programming Research Group, its equipment, staff changes, publications and its theoretical and practical work.


Oxford University
Date: 1968-1974
Shelfmark: MS. Eng. misc. b. 254/B.8
Former ref: CSAC 71.1.80/B.8

Scope and Content:

Various documents describing the work of the Programming Research Group, 1968-1974. All are stencilled copies of typescripts and are a useful supplement to the official reports in MS. Eng. misc. b 254/B.7. They were perhaps collated by Strachey when he was preparing the final report to the Science Research Council (MS. Eng. misc. b 254/B.9).

Includes:

  • Two notes prepared for prospective graduate students, November 1968 and September 1970.
  • Three-page note probably prepared for Oxford University regarding research, teaching, staff and publications of the Programming Research Group, October 1970.
  • Ten-page copy of 'Application for a Research Grant' (to the Science Research Council for a supplement to the original grant), March 1971.
  • Two-page note 'Position in 1972 and after'.
  • Four-page draft report (by V.E.M. Bowell) evaluating work of the Programming Research Group, August 1971.
  • Last page of letter from Chairman, Sub-Faculty of Computation, to Secretary of Faculties, Oxford University, regarding 'small number of academic posts in computing', 1974, and referring to the 'international reputation of the Programming Research Group'
  • Two-page note prepared for presentation to Computing Science Board (see additional papers and correspondence in MS. Eng. misc. b 254/B.10), June 1974.

The folder also includes miscellaneous 'hand-outs' for students and staff of the Programming Research Group regarding library, course work.


Oxford University
Date: 1974
Shelfmark: MS. Eng. misc. b. 254/B.9
Former ref: CSAC 71.1.80/B.9

Scope and Content:

'Programming Research Group, Oxford. Final Report to the Science Research Council on Grant B/SR/14943. May 1974'. 29-page typescript.

This official report is a careful detailed account of the origin and work of the Programming Research Group during the period of its support by the Science Research Council (1 July 1965-31 July 1974). Strachey discusses in the report the current work of the Group, the degree of success of its original aims, the results achieved, and also provides a chronological account of its progress.

The report includes 4 appendices: a copy of the original application, the technical case for the original application, a list of publications and an annotated selected bibliography.

Related Material:

See also the papers for Strachey's presentation to the Computing Science Committee (MS. Eng. misc. b 254/B.10).



Oxford University
Date: 1966-1974
Shelfmark: MS. Eng. misc. b. 254/B.10
Former ref: CSAC 71.1.80/B.10

Scope and Content:

Folder of correspondence with the Science Research Council with reference to queries regarding administration of the grant (provision for senior visiting fellows, additional equipment costs, allocation and apportionment of staff salaries, claims for travelling expenses to conferences).

Folder includes a copy of a report by D. Park to the Science Research Council following visit to USA, May 1967, and also minor correspondence with Oxford University regarding revision and supplementation of the grant and regarding salaries paid by the University.

Folder also contains correspondence with the Science Research Council regarding meetings of the Computing Science Committee (of which Strachey was a member, see MS. Eng. misc. b. 287/E.42 et seq.), a copy of Strachey's Comments on d'Agapeyeff's Paper 'Large On-Line D.P. Systems (Business Utilities) and their Software Engineering', sent by d' Agapeyeff before the January 1969 meeting, and papers (including manuscript notes) for Strachey's presentation to the Computing Science Committee, 25 June 1974.


Oxford University
Date: 1970-1971
Shelfmark: MS. Eng. misc. b. 254/B.11
Former ref: CSAC 71.1.80/B.11

Scope and Content:

Folder of correspondence regarding arrangements for the Board of Visitors of the Science Research Council Computing Science Committee to inspect work of Programming Research Group, 20 October 1970.

Folder includes one letter regarding visit by the Board on 2 June 1971.


Oxford University
Date: 1974
Shelfmark: MS. Eng. misc. b. 254/B.12
Former ref: CSAC 71.1.80/B.12

Scope and Content:

Folder of correspondence regarding arrangements for visit by P.R. Odgers and S.F. Edwards of the Department of Education and Science to Science Research Council-supported groups in Oxford, 2 July 1974.


Oxford University
Date: 1970-1971
Shelfmark: MS. Eng. misc. b. 254/B.13
Former ref: CSAC 71.1.80/B.13

Scope and Content:

'Quinquennial Application (1972-1977), Oxford University'.

Folder of correspondence and papers regarding submission by the Computing Laboratory.

Includes:

  • Drafts of application (by L. Fox)
  • Estimate of annual cost of the Programming Research Group for 1972/1973
  • Copy of 'Report of the Committee set up by the Faculty Board [of Mathematics] to prepare the Quinquennial Application'
  • Copies of correspondence between Strachey and Oxford University regarding the Science Research Council grant (1971).

The Report was unable to recommend the establishment of a Chair in Computation; letter from Strachey regarding the Report.


Software Committee, Oxford University Computing Laboratory
Date: 1967-1970
Shelfmark: MS. Eng. misc. b. 254/B.14
Former ref: CSAC 71.1.80/B.14

Scope and Content:

Minutes and papers for 2 meetings (23 November and 11 December 1967). Papers include reports on ALGOL, COTAN maintenance, use of consoles and copies of Strachey's papers 'KDF 9 Software' and 'The Provision of Software'.

Folder also includes minutes of meeting of senior staff of Oxford University Computing Laboratory and interdepartmental memorandum regarding Computing Science Departmental Committee.


'System Meetings'
Date: 1971-1974
Shelfmark: MS. Eng. misc. b. 254/B.15
Former ref: CSAC 71.1.80/B.15

Scope and Content:

Folder of papers and notes by Strachey for meetings within Programming Research Group. Manuscript notes by Strachey on 'Strings and Characters in BCPL'. Notes by other members of the Group on matters for consideration at the meetings.


Folder inscribed 'Next Oxford Computer'
Date: 1966-1968
Shelfmark: MS. Eng. misc. b. 254/B.16
Former ref: CSAC 71.1.80/B.16

Scope and Content:

Papers and minutes of the Computing Laboratory Sub-Committee, established to prepare submission to the Computer Board for new computing equipment and staff at Oxford.

Questionnaire (December 1966) and resulting report (May 1967) on 'Computing in Oxford University'.

Minutes of meetings on 5 April, 6 May, 31 May 1968. Correspondence.

Cost comparison for central machine room hardware.

'Configuration for the New Machine', a 2-page memorandum by Strachey, 6 May 1968.

Draft report for the Computer Board, 27 May 1968, with manuscript annotations by Strachey. Typescript of additions to the document, circulated to the Sub-Committee after its meeting to discuss the report.


'Software Blast'
Date: 1967-1968
Shelfmark: MS. Eng. misc. b. 254/B.17
Former ref: CSAC 71.1.80/B.17

Scope and Content:

Papers regarding the supply of computer software to universities, as submitted to the Science Research Council and the Computer Board for increased funding. See MS. Eng. misc. b. 287/E.43 for similar material.

'The Provision of Software', a 2-page memorandum, 15 December 1967, sent by Strachey to B.H. (now Sir Brian) Flowers, Chairman of the Computer Board for Universities and Research Councils, and to F.J.M. Laver of the Ministry of Technology. Reply from Laver, 27 December 1967; very full reply from Flowers, 3 January 1968.

'Software for University computing', a 10-page memorandum by D. Michie, January 1968.

'Provision of Software to Universities as a Computer Responsibility', a 3-page draft of paper by A. Colin, Strachey and R.M. Needham for the Computing Science Committee of the Science Research Council. Letter of comments from L.F. Rutherford, Secretary of the Computer Board, as passed on by J.H. Price of the Science Research Council with revised draft of the paper (not in folder). Both letters annotated by Strachey.

Two offprints of articles regarding software.


Programming Research Group
Date: 1968
Shelfmark: MS. Eng. misc. b. 255/B.18
Former ref: CSAC 71.1.80/B.18

Scope and Content:

Applications and related correspondence for positions in the Programming Research Group as Departmental Research Assistant and/or Programmer (not indexed).


Programming Research Group
Date: 1965-1974
Shelfmark: MS. Eng. misc. b. 255/B.19
Former ref: CSAC 71.1.80/B.19

Scope and Content:

Requests to join or work with the Programming Research Group, either on a permanent or part-time basis or as a visiting fellow. Some professional exchanges are included.

Arrangement: Chronological

Programming Research Group
Date: 1966-1975
Shelfmark: MS. Eng. misc. b. 255/B.20
Former ref: CSAC 71.1.80/B.20

Scope and Content:

Requests to visit Strachey and the Programming Research Group, from academics and industrialists in Britain and abroad.

Includes copy of Strachey's letter to The Observer, 1973, in response to an article by E.F. Schumacher regarding optimum size of machines and of organisations.

Arrangement: Chronological

Programming Research Group
Date: 1967-1970
Shelfmark: MS. Eng. misc. b. 255/B.21
Former ref: CSAC 71.1.80/B.21

Scope and Content:

Requests to study at Oxford University or in Programming Research Group (not indexed).

Arrangements for appointments, suggestions for alternative courses at other universities. In chronological order.


External examining for the B.Sc. course in Computer Science, University of Warwick
Date: 1972-1974
Shelfmark: MS. Eng. misc. b. 255/B.22
Former ref: CSAC 71.1.80/B.22

Scope and Content:

Correspondence and papers regarding Strachey's external examining for the B.Sc. course in Computer Science, University of Warwick.

Includes copies of proposed examination papers, Strachey's comments on the papers and his own notes, correspondence regarding arrangements for Examiners' Board meetings, etc.


Loan of films from Bell Telephone Laboratories
Date: 1968
Shelfmark: MS. Eng. misc. b. 255/B.23
Former ref: CSAC 71.1.80/B.23

Scope and Content:

Correspondence and papers regarding loan of films from Bell Telephone Laboratories, USA for showing at the Computer Film Festival, 15 March 1968, and at talk to the engineering group in Oxford (see MS. Eng. misc. b. 296/G.23 for Strachey's notes for this talk).


'Burroughs Machines'
Date: 1968
Shelfmark: MS. Eng. misc. b. 255/B.24
Former ref: CSAC 71.1.80/B.24

Scope and Content:

Notes and minor correspondence regarding the possible purchase of a new computer by Oxford University.


Expenditure for house occupied by the Programming Research Group
Date: 1966-1968
Shelfmark: MS. Eng. misc. b. 255/B.25
Former ref: CSAC 71.1.80/B.25

Scope and Content:

Papers and notes regarding furnishings and estimated expenditure for the house at 45 Banbury Road, Oxford, occupied by the Programming Research Group.

Correspondence with L. Fox and with Oxford University Chest regarding allocation of expenditure.


Papers relating to expenses of the Programming Research Group
Date: 1966-1969, 1974
Shelfmark: MS. Eng. misc. b. 255/B.26
Former ref: CSAC 71.1.80/B.26

Scope and Content:

Miscellaneous notes, invoices and correspondence regarding minor expenses of the Programming Research Group as passed to Oxford University Chest for payment from the Science Research Council grant (not indexed).


Wolfson College
Date: 1968-1975
Shelfmark: MS. Eng. misc. b. 255/B.27
Former ref: CSAC 71.1.80/B.27

Scope and Content:

Letter offering Fellowship of the College, 29 July 1966.

Miscellaneous correspondence regarding college business.


Wolfson College, Architect's Brief
Date: 1966
Shelfmark: MS. Eng. misc. b. 255/B.28
Former ref: CSAC 71.1.80/B.28

Scope and Content:

Duplicated papers regarding requirement of a new college; 7-page typescript of Strachey's comments on the brief.


Wolfson College, miscellaneous
Date: 1968-1973
Shelfmark: MS. Eng. misc. b. 255/B.29
Former ref: CSAC 71.1.80/B.29

Scope and Content:

Committee papers, all with Strachey's annotations.


List of files etc., Programming Research Group
Date: n.d.
Shelfmark: MS. Eng. misc. b. 255/B.30
Former ref: CSAC 71.1.80/B.30

Scope and Content:

Manuscript and typescript lists of files maintained by the Programming Research Group, and of Strachey's own files.

Note: Most of the headings listed in this folder appear as catalogue entries, but some have not survived.

C   Working Papers, Notes, and Calculations


Scope and Content:

The papers are presented chronologically as far as possible, in sub-sections devoted to various stages in Strachey's career. Strachey's own autobiographical notes make plain that many of his ideas developed from work in progress and flowed into later projects, and the separation here adopted is acknowledged to be an artificial one and is far from implying any break in the work.

These notes and papers were kept by Strachey separate from correspondence and committee files, but should nevertheless be read in conjunction with Sections D and E, and the National Research Development Corporation correspondence in Section J, to which cross-references are given where possible. Strachey's own folders, titles and descriptions are retained, and bundles of notes clipped together by him have been left in his order. The early material was rarely dated, and was often written on the back of used papers dated several years previously, or on class exercises from school-mastering days. In these cases, approximate dates and descriptions have been suggested. Very bulky folders have been split for ease of handling, and a note made of their original grouping. Strachey's titles and descriptions are given in inverted commas.

During his employment at National Research Development Corporation (1952-1959), Strachey was principally concerned with the Ferranti computers for Manchester University, designed in conjunction with the Firm, the University and the National Research Development Corporation. Most of these notes are simply headed 'M.U.C.' or appear on worksheets similarly headed, and it has not always been possible to assign them with certainty to a specific task or routine related to the project. See note to MS. Eng. misc. b. 258/C.27-MS. Eng. misc. b. 265/C.115.

C.1   Standard Telephone & Cables Ltd.


Valve Laboratory Reports
Date: n.d.
Shelfmark: MS. Eng. misc. b. 256/C.1
Former ref: CSAC 71.1.80/C.1

Scope and Content:

This work was carried on at Woolwich, London, until 1940, when it was transferred to Ilminster, Somerset. The first four of the Reports listed below were produced from Woolwich, the remainder from Somerset; Strachey wrote or collaborated in all the latter, except where indicated.

The Reports bear the firm's number as follows:

(From Woolwich) T.G.4, T.G.6, R.G.8, R.G.13;

(From Ilminster) R.G.14 (not by Strachey), G.20, G.36, G.43, G.46, G.50, G.52, G.55, G.56, G.57, G.58, G.59 (not by Strachey), G.67, G.69, G.74, G.75, G.77, G.79, G.83, G.84 (not by Strachey), G.85, G.93, G.95.


Lists of Laboratory Reports
Date: 1940-1944
Shelfmark: MS. Eng. misc. b. 256/C.2
Former ref: CSAC 71.1.80/C.2

Scope and Content:

Folder of miscellaneous lists of Laboratory Reports issued by various Standard Telephone & Cables departments.

Miscellaneous bibliographic references and related offprints.


Strachey's Order Book
Date: 1939-1943
Shelfmark: MS. Eng. misc. b. 256/C.3
Former ref: CSAC 71.1.80/C.3

Scope and Content:

Strachey's Order Book indenting for items of equipment and machinery, various dates.


Notebook inscribed 'Mathematics'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 256/C.4
Former ref: CSAC 71.1.80/C.4

Scope and Content:

Notebook inscribed 'Mathematics', with contents page by Strachey, n.d.

These notes may have been begun during work at Standard Telephone & Cables and continued later.


Calculation of focal length through a slit
Date: n.d.
Shelfmark: MS. Eng. misc. b. 256/C.5
Former ref: CSAC 71.1.80/C.5

Scope and Content:

Four bundles of notes and calculations, the first being a sequence of 41 numbered pages, all on calculation of focal length through a slit, n.d., perhaps 1939-1940.


Velocity modulated receiving tubes
Date: 1939-1940
Shelfmark: MS. Eng. misc. b. 257/C.6
Former ref: CSAC 71.1.80/C.6

Scope and Content:

'Velocity modulated receiving tubes. Theoretical notebook' (pages torn from a ledger-type foolscap notebook).

Notes begin 'The following are the results of calculations carried out between December 1939 and June 1940' and are dated 10.6.40.

Later notes are headed 'Theory of velocity modulated oscillators'.


Memorandum by Strachey
Date: 1940
Shelfmark: MS. Eng. misc. b. 257/C.7
Former ref: CSAC 71.1.80/C.7

Scope and Content:

Correspondence etc. regarding Memorandum by Strachey, published in Wireless Engineer, May 1940, correcting a previous letter on velocity modulated beams by R. Kompfner.

Kompfner corrected his article and also corresponded with Strachey.

Related Material:

A copy of Strachey's 'Memorandum' is enclosed.



Velocity modulation
Date: 1942, 1943
Shelfmark: MS. Eng. misc. b. 257/C.8
Former ref: CSAC 71.1.80/C.8

Scope and Content:

Miscellaneous correspondence and memoranda on velocity modulation.

Includes a copy of a letter from Strachey to P.B. Moon regarding velocity modulation and klystron, 1942.


Notes
Date: 1940
Shelfmark: MS. Eng. misc. b. 257/C.9
Former ref: CSAC 71.1.80/C.9

Scope and Content:

Bundles of notes, almost all with numbered pages, n.d. but probably begun in 1940.

  • 'Dynamic Similarity in Large Gaps', 3 pages.
  • 'Reflecting Fields with Space Charge', 15 pages.
  • 'D.C. Transit Time in a Reflecting Field', 7 pages.
  • 'Theorem in Reflecting Fields', 4 pages.
  • 'Conditions for ... reflexion in the absence of space charge', 2 pages.
  • Untitled, 13 pages.
  • Untitled, 10 pages.
  • Graphs of parabolic fields.

Notes
Date: n.d.
Shelfmark: MS. Eng. misc. b. 257/C.10
Former ref: CSAC 71.1.80/C.10

Scope and Content:

Three bundles of notes, graphs and calculations:

  • 'H.F. Slope of Infinite plane diode'.
  • 'Calculation of field in cylindrically symmetrical system'.
  • 'Fremlin's Integral' (J.H. Fremlin was a colleague and collaborator of Strachey's at Standard Telephone & Cables).

Notes and letter
Date: c.1942
Shelfmark: MS. Eng. misc. b. 257/C.11
Former ref: CSAC 71.1.80/C.11

Scope and Content:

Three bundles of untitled notes with numbered pages, and miscellaneous loose pages. n.d., c.1942.

Includes a copy of the letter to P.J. Daniell arranging for Strachey and Wallis to visit him to discuss velocity modulation, 1942.


Notes
Date: n.d.
Shelfmark: MS. Eng. misc. b. 257/C.12
Former ref: CSAC 71.1.80/C.12

Scope and Content:

Folder 'Miscellaneous Maths'.

Three bundles of notes on numbered pages, on Fourier coefficients.

Notes on Hahn functions.

Notes on Elliptic functions.

Shorter notes on Laplace transforms, etc.


Notes
Date: 1942-1943
Shelfmark: MS. Eng. misc. b. 257/C.13
Former ref: CSAC 71.1.80/C.13

Scope and Content:

Bundles of notes, 'Problems'.

Manuscript notes on calculation of the date of Easter, signed H. Spencer Jones 27 February 1943.

Brief correspondence regarding work at Ilminster, 1942.


Notes and letter
Date: 1944-1945
Shelfmark: MS. Eng. misc. b. 257/C.14
Former ref: CSAC 71.1.80/C.14

Scope and Content:

Bundle of notes and diagrams 'Counters for D.A.', n.d.

Extensive bundle of notes 'Shell Velocity Tables prepared for Standard Telephone & Cables, July 1945'.

Miscellaneous notes on circuitry and switching, n.d.

Folder includes letter from P.J. Wallis, 1944.


Notes on Bessel Functions
Date: n.d.
Shelfmark: MS. Eng. misc. b. 257/C.15
Former ref: CSAC 71.1.80/C.15

Scope and Content:

An extended series of notes, in pencil, in a sequence of 4 bundles: 'Bessel Functions', pages 1-30; 'F of 3rd Kind', pages 31-49; '2nd Type', pages 50-68; 'Fourier-Bessel Series', pages 69-77.

Shorter notes on 'Bessel Functions'.


Notes on Legendre Functions
Date: 1945
Shelfmark: MS. Eng. misc. b. 257/C.16
Former ref: CSAC 71.1.80/C.16

Scope and Content:

Two bundles of notes, in pencil, in sequence,pages 1-16 and pages 17-34.

Bundles of notes on τ functions.

Miscellaneous notes on 'Contour or Complex Integration'.

One-page note 'Peano', dated on verso 1945.

Other manuscript and duplicated material (not by Strachey), 1945.


Report on 'The Theory and Design of Velocity-Modulated Oscillators'
Date: 1944-1945
Shelfmark: MS. Eng. misc. b. 257/C.17
Former ref: CSAC 71.1.80/C.17

Scope and Content:

Autograph manuscript of an extended report on 'The Theory and Design of Velocity-Modulated Oscillators'. The manuscript is dated February 1945 (an earlier title-page is dated July 1944) and has a space for the Value Laboratory Report number to be inserted.

Folder includes summary, contents, text, references, tables, and indexes.

Included in the folder is a bundle of early notes and drafts for the report, written on the back of an adaptation by Strachey of 'The Crooked Billet', apparently for amateur production.


'Relay Switching'
Date: 1946
Shelfmark: MS. Eng. misc. b. 258/C.18
Former ref: CSAC 71.1.80/C.18

Scope and Content:

Notes on circuitry, perhaps begun at Standard Telephone & Cables, and continuing at St. Edmund's, Canterbury, 1946.


'Radio, etc.'
Date: 1941-1947
Shelfmark: MS. Eng. misc. b. 258/C.19
Former ref: CSAC 71.1.80/C.19

Scope and Content:

Miscellaneous notes, circuit diagrams and manufacturers' literature, mainly on valves, acoustics, gramophone and radio receivers, etc. Various dates.

C.2   Automatic Computing Engine (ACE)


Scope and Content:

This section is primarily concerned with a draughts-playing program which Strachey began in his spare time while teaching at Harrow School. Strachey heard of the work on the Pilot ACE machine on 22 January 1950; by 23 February 1951 he had devised a program for the machine using eight delay lines (its full capacity), and the program was tried out on 30 July 1951 at the National Physical Laboratory at Teddington. (We are indebted to Mr. M. Woodger for this detailed information.)

The program developed into an attempt at autocoding (see Strachey's letters to A.M. Turing (MS. Eng. misc. b. 258/C.22) and M. Woodger (MS. Eng. misc. b. 258/C.23) of May 1951) and was modified and tried out on the Ferranti Mark I machine at Manchester University. Its success, and Strachey's skill in programming, led to his appointment to the National Research Development Corporation in November 1951.

The original program was reconstituted by B. Munday at the National Physical Laboratory in 1958 to be run on DEUCE (the successor of the Pilot ACE), and a copy is included by the courtesy of Mr. M. Woodger as MS. Eng. misc. b. 258/C.26 below.

For the continuation of Strachey's work on the draughts-playing program on the Manchester machine, see MS. Eng. misc. b. 258/C.27-MS. Eng. misc. b. 258/C.33.


Folder labelled 'Relays'
Date: 1950
Shelfmark: MS. Eng. misc. b. 258/C.20
Former ref: CSAC 71.1.80/C.20

Scope and Content:

Miscellaneous notes for circuits, etc., n.d., but probably early work on draughts program 1950 (all written on verso of Harrow School exercises and notices).

Includes 5 pages of manuscript notes in the hand of M. Woodger on the principal machines available, workers in the field, notes and diagrams on circuits.


Folder labelled 'Notes for lectures, possible future papers, etc.'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 258/C.21
Former ref: CSAC 71.1.80/C.21

Scope and Content:

Three bundles of notes:

  • 'Generalised Programming'.
  • 'Analysis of Programming for ACE'.
  • Untitled notes on brackets (may refer to later work at Manchester).

Strachey's letter to A.M. Turing
Date: 1951
Shelfmark: MS. Eng. misc. b. 258/C.22
Former ref: CSAC 71.1.80/C.22

Scope and Content:

Strachey's copy of his letter to A.M. Turing, 15 May 1951. Written immediately after hearing Turing's talk 'Can Digital Computers think?', broadcast on BBC Third Programme on same day. In his letter Strachey discusses the general problems of 'thinking machines', their application to the Manchester machine, and his modification of his ACE draughts program.

Note: The original of this letter is in the manuscript collection of A.M. Turing in King's College, Cambridge. (GBR/0272/PP/AMT, Item D/5.


Folder labelled 'Universal Languages for Programmes'
Date: 1951
Shelfmark: MS. Eng. misc. b. 258/C.23
Former ref: CSAC 71.1.80/C.23

Scope and Content:

Miscellaneous bundles of notes on the subject, some written at later dates (one refers to ALGOL).

Folder also includes typed 'Extracts from letters C. Strachey to M. Woodger 25 May 1951', beginning: 'I have an idea about making the ACE do part of its own programming'.

Note: The originals of these letters, and of accompanying correspondence 24 February-2 June 1951, are in the possession of Mr. M. Woodger.


'ACE coding programme (Incomplete)'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 258/C.24
Former ref: CSAC 71.1.80/C.24

Scope and Content:

Folder containing 16 bundles of notes, calculations and diagrams on the subject, some on verso of Harrow School exercises.


'ACE Draughts. Current Programme'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 258/C.25
Former ref: CSAC 71.1.80/C.25

Scope and Content:

Miscellaneous notes and calculations.


Strachey's draughts-playing program
Date: 1958
Shelfmark: MS. Eng. misc. b. 258/C.26
Former ref: CSAC 71.1.80/C.26

Scope and Content:

Reconstitution by B. Munday in 1958 of Strachey's draughts-playing program (written for Pilot ACE), to be run on DEUCE.

Twenty-two cards, and a 21-page program (photocopy of Strachey's manuscript).

C.3   National Research Development Corporation, 1951-1959


Scope and Content:

The material relates to the following principal projects in which Strachey was involved during this appointment:

Arrangement: Strachey's folders have been retained, and his titles or descriptions given in inverted commas. In the absence of his own indications, exact dates or attributions cannot always be given with certainty. Very bulky folders have sometimes been divided for ease of handling, and a note has been made of such cases.

Related Material:

For material relating to Strachey's appointment to the National Research Development Corporation, see MS. Eng. misc. b. 251/A.39-MS. Eng. misc. b. 251/A.42. For projects undertaken at the request of the National Research Development Corporation when Strachey was working as a private consultant, see:


C.3.1   Completion of draughts-playing program, 1951-1952

Related Material:

For the original work designed for ACE, see MS. Eng. misc. b. 258/C.20-MS. Eng. misc. b. 258/C.26 above.



'Draughts. "Paper"'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 258/C.27
Former ref: CSAC 71.1.80/C.27

Scope and Content:

Includes: 4-page typescript on 'Draughts. General Considerations', perhaps an introduction or contribution to a book on the subject.

Manuscript and 2 typescript versions of a paper titled 'Programme for Manchester University Computer', giving 'modifications to the programme described above to make full use of the facilities of the Ferranti machine'.


'Draughts'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 258/C.28
Former ref: CSAC 71.1.80/C.28

Scope and Content:

Folder containing 13 bundles of notes, calculations and diagrams, most on paper headed Manchester University Computing Machine Laboratory, but some on verso of Harrow School exercises.

Some of the bundles bear Strachey's manuscript comments or explanations on attached notes.


'Draughts. M.U.C. (Manchester University Computer) Programme and Notes etc.'
Date: 1952
Shelfmark: MS. Eng. misc. b. 258/C.29
Former ref: CSAC 71.1.80/C.29

Scope and Content:

Folder containing 10 bundles of notes, calculations and routines, many with Strachey's notes on the machine's game, e.g.: 'Not forseen by me - a good move'

'Purposeless - the strategy is failing badly in the end game', etc.

Various dates July-August 1952, though some notes are on verso of Harrow School exercises.

Strachey used some of these specimen games and comments in his paper at Toronto in September 1952

Related Material:

See MS. Eng. misc. b. 258/C.32.



Draughts
Date: n.d.
Shelfmark: MS. Eng. misc. b. 258/C.30
Former ref: CSAC 71.1.80/C.30

Scope and Content:

(Originally kept with MS. Eng. misc. b. 258/C.29).

Six bundles of notes and photographs, with notes and explanations by Strachey, as follows:

  • 'Example of machine errors. The machine (literally) had a screw loose when it did this'.
  • 'Photographs of the monitor tube display during a game of draughts. These are best viewed at arm's length'.
  • 'Examples of draughts as played by the machine. Most of these were experimental and show signs of errors, either in the programme or in the machine'.
  • 'The complete programme for draughts as printed out by the computer' (dated 10 July 1952).
  • 'Flow diagram and programme for the inner section of draughts. This part allows the machine to decide its own move. (This is my own working copy - hence its dog-eared state)'.
  • 'Draughts. Instructions'.

'A Programme for Making a Calculating Machine Play Draughts'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 258/C.31
Former ref: CSAC 71.1.80/C.31

Scope and Content:

Forty-five-page manuscript and typescript paper.

Miscellaneous drawings and diagrams for a paper on a draughts-playing machine (probably for Toronto paper).


'Logical or Non-Mathematical Programmes'
Date: 1952-1959
Shelfmark: MS. Eng. misc. b. 258/C.32
Former ref: CSAC 71.1.80/C.32

Scope and Content:

Draft notes, manuscript and typescript versions of a paper given by Strachey at the Association for Computing Machinery (A.C.M.) meeting at Toronto, September 1952.

Folder also includes an offprint of a later paper on the subject by A.L. Samuel, 1959.


Notes taken on journey to Canada and USA
Date: 1952
Shelfmark: MS. Eng. misc. b. 258/C.33
Former ref: CSAC 71.1.80/C.33

Scope and Content:

Blue exercise-book of notes taken on journey to Canada and USA, September 1952.

Includes an account of preliminary talks with Professor Watson about the St. Lawrence Seaway project (see MS. Eng. misc. b. 259/C.37 and MS. Eng. misc. b. 259/C.38), of discussions and people met at the A.C.M. Conference, and of Strachey's visits to firms and universities in the USA to see work in progress on computers, with his views on the various methods, programs, costings, etc. of Harvard Mark IV, RCA Bizmac, and UNIVAC machines.

Related Material:

See MS. Eng. misc. b. 297/H.2 for a similar notebook kept on Strachey's journey to the USA in 1957.


C.3.2   'Love Letters' program, 1952


Scope and Content:

Two folders of notes, calculations and routines for a program to write love-letters, for the Manchester machine. All letters 'signed' M.U.C. (Manchester University Computer).

This is a good example of Strachey having fun while trying out new routines.

The notes are not dated, but are probably late 1952, as there is a reference to 'Toronto input' (the Toronto A.C.M. meeting in September 1952).


'Love Letters Programme M.U.C.'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 259/C.34
Former ref: CSAC 71.1.80/C.34

Scope and Content:

Includes a manuscript table of random words - nouns, verbs, adjectives, adverbs, and terms of endearment. Also contains coding sheets and flowcharts as well as sample letters and telegrams.


'L.L. Mk.II'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 259/C.35
Former ref: CSAC 71.1.80/C.35

Scope and Content:

Contains coding sheets, psuedocode, grammar examples and sample letters.


Notes on papers, lectures, etc.
Date: n.d.
Shelfmark: MS. Eng. misc. b. 259/C.36
Former ref: CSAC 71.1.80/C.36

Scope and Content:

Folders of notes taken by Strachey at lectures or colloquia, or from articles in the literature by Wilkes, Fox, Lanczos, etc.

Very few are dated, but some are dated 'Cambridge Colloquium 12.6.52' and '26.4.56'.

C.3.3   St. Lawrence River Power Project, 1952


Scope and Content:

The first sale of the Manchester Mark I computer built by Ferranti Ltd. was to the University of Toronto in 1951, through the close association of the Ferranti Electric Co. with Professor Watson of the University. The machine was known as FERUT (Ferranti University of Toronto).

In 1952 the University wished to make use of its computer to assist the Canadian Government in its share of the cutting of the St. Lawrence Seaway, and in particular by computing water surface profiles above a dam over a 50-mile stretch of the river past the Thousand Islands. Strachey met Professor Watson in September 1952 (see MS. Eng. misc. b. 258/C.33) and subsequently produced a program with the codename Backwater.

The program was successful as such, but the machine had 'teething troubles' and was difficult to service and maintain at so long a distance.

The project is described in the following extract, quoted by permission from a private history of the Ferranti Computer Group:

The St. Lawrence Seaway job, however, was an opportunity for the National Research Development Corporation, and particularly for Christopher Strachey who was lent to develop the program for calculating the effects of the plans on the water flow of the river past the Thousand Islands. Vivian Bowden had sold the computer to Toronto University in 1951; Strachey went over in the autumn of 1952 and in three months the computer had done sums which it had been estimated would take clerks with hand machines 20 years.

Folder of notes
Date: 1952-1956
Shelfmark: MS. Eng. misc. b. 259/C.37
Former ref: CSAC 71.1.80/C.37

Scope and Content:

Includes

  • Outline of the problem (sent from Toronto) with specifications, definitions, etc., 6 pages. May 1952.
  • Strachey's manuscript notes on the organisation of his program, 4 pages.
  • Letter and draft for an article on the problem by H. Cotton of Ferranti, sent to Strachey for comment, 1956.

'Backwater - FERUT'
Date: 1952-1955
Shelfmark: MS. Eng. misc. b. 259/C.38
Former ref: CSAC 71.1.80/C.38

Scope and Content:

Folder of notes, calculations, routines:

  • Seventeen bundles, of which the first carries a manuscript note by Strachey 'Schematic plan of part of the St. Lawrence river covered by the 'Backwater' programme (about 50 miles). The loops represent islands. Dotted lines indicate alternative directions of flow in a channel. (These are work sheets)'. Only one set is dated, 5 November 1952.
  • Folder also includes the programme of a course of lectures on 'The application of digital computers to technical research and development' given at Northampton Polytechnic, London, October 1955, at which Strachey spoke on the St. Lawrence project.

Note: Northampton Polytechnic had a Pegasus computer provided by the National Research Development Corporation, and was in the forefront of computer studies in UK educational institutions.

Related Material:

See MS. Eng. misc. b. 295/G.1 for a course of lectures given there by Strachey on the Ferranti Pegasus.


C.3.4   Manchester University Computing Machine Laboratory


Scope and Content:

Design and projects.

C.3.4.a   Manchester Mark I and Mark II & Ferranti I computers


Scope and Content:

Much of the experimental design for these machines was done at the Manchester University Computing Machine Laboratory. Ferranti produced the commercial computers.


Ferranti Ltd. folder
Date: n.d
Shelfmark: MS. Eng. misc. b. 259/C.39
Former ref: CSAC 71.1.80/C.39

Scope and Content:

Ferranti Ltd. folder, containing an 'Introduction' to the new Ferranti High Speed Digital Computer.

29-page duplicated typescript, signed B.V.B. (Bertram Vivian Bowden, now Lord Bowden).


'Programmers' Handbook for Manchester Electronic Computer Mark II'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 260/C.40
Former ref: CSAC 71.1.80/C.40

Scope and Content:

'Programmers' Handbook for Manchester Electronic Computer Mark II', inscribed 'With the Compliments of A.M. Turing' (not in Turing's hand). n.d., perhaps March 1951.

This is the First Edition Handbook, compiled by Turing himself, and very difficult to operate. Turing is known to have sent a copy to Strachey while he was working on his draughts-playing program at Harrow. Strachey contrived to master the handbook sufficiently to be able to run his draughts program on it overnight when he visited Manchester. This was considered a real achievement.

The handbook bears manuscript annotations and corrections by Strachey.

Note: Though described as 'Handbook... Mark II', this is the Mark I Handbook, which was the basis for modifications introduced for Mark 1*, and for Mark II (subsequently Mercury).

Related Material:

See MS. Eng. misc. b. 251/A.39.



Programmers' Handbook (Third Edition) for the Mark II (Mark I*)
Date: 1952-1953
Shelfmark: MS. Eng. misc. b. 260/C.41
Former ref: CSAC 71.1.80/C.41

Scope and Content:

Includes prefaces to the First Edition (as in MS. Eng. misc. b. 259/C.40) n.d., the Second Edition, by R.A. Brooker, August 1952, and the Third Edition, by R.A. Brooker, September 1953.

The handbook bears manuscript annotations and corrections by Strachey.


Black ring-back notebooks of programme sheets, codes and routines for the Manchester machine
Date: 1951-1952
Shelfmark: MS. Eng. misc. b. 260/C.42
Former ref: CSAC 71.1.80/C.42

Scope and Content:

Contains duplicated and manuscript material of various dates, 1951-1952, with some manuscript pages of calculations inserted or loose, dealing with assembly, input, floatcode and other routines, preparatory to revision of handbook.

The duplicated pages bear many manuscript comments, corrections, etc. by Strachey.


Black ring-back notebooks of programme sheets, codes and routines for the Manchester machine
Date: 1951-1952
Shelfmark: MS. Eng. misc. b. 260/C.43
Former ref: CSAC 71.1.80/C.43

Scope and Content:

Contain duplicated and manuscript material of various dates, 1951-1952, with some manuscript pages of calculations inserted or loose, dealing with assembly, input, floatcode and other routines, preparatory to revision of handbook.

The duplicated pages bear many manuscript comments, corrections, etc. by Strachey.

Note: Also contains a useful note contributed, 1978, by M. Campbell-Kelly on the likely attribution of various routines to A.M. Turing, C. Popplewell, A. Glennie, R.A. Brooker and Strachey.


Photographs
Date: 1956-1957
Shelfmark: MS. Eng. misc. b. 260/C.44
Former ref: CSAC 71.1.80/C.44

Scope and Content:

Photographs of Manchester University Computer (most with description on verso).

Photographs of Ferranti Pegasus, taken in London, and of the Ferranti production line at the Moston Works, Manchester.


'Ferranti Mk I*'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 261/C.45
Former ref: CSAC 71.1.80/C.45

Scope and Content:

Strachey's original folder, including manuscript notes on 'Ferranti Fort Halstead (Kent) machine', miscellaneous codes, notes and queries by Strachey.


'Ferranti Mk I*'
Date: 1952
Shelfmark: MS. Eng. misc. b. 261/C.46
Former ref: CSAC 71.1.80/C.46

Scope and Content:

'B.T.M. Cards - Punch & Read'.

Includes a note of principal computer laboratories and researchers in USA, perhaps for 1952 journey.

Related Material:

See MS. Eng. misc. b. 258/C.33.



'Ferranti Mk I*'
Date: 1953
Shelfmark: MS. Eng. misc. b. 261/C.47
Former ref: CSAC 71.1.80/C.47

Scope and Content:

Ferranti's List DC 6 of instructions, etc. for Manchester Universal Electronic Computer, with notes and queries by Strachey.


'Ferranti Mk I*'
Date: December 1953
Shelfmark: MS. Eng. misc. b. 261/C.48
Former ref: CSAC 71.1.80/C.48

Scope and Content:

'Radix 32 Input Scheme' (duplicate typescript).


'Ferranti Mk I*'
Date: November 1953/January 1954; March 1954
Shelfmark: MS. Eng. misc. b. 261/C.49
Former ref: CSAC 71.1.80/C.49

Scope and Content:

'Proposed acceptance tests for Ferranti Manchester Universal Electronic Computer' (duplicated typescript).

'A radix 10 system of coding for Mark I' (duplicated typescript.)

C.3.4.b   Notes and routines for the Manchester University Computer


Scope and Content:

These consist of notes and calculations for various procedures suitable for the Manchester University Computer (M.U.C.) and are almost all on the programming sheets designed for the machine.

Very few of the routines are dated; Strachey's descriptions are preserved. Information kindly supplied by Dr. C. Phelps (Oxford University Computing Laboratory) is given with acknowledgement in some of the entries.


'M.U.C. Uncompleted Routines'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 261/C.50
Former ref: CSAC 71.1.80/C.50

Scope and Content:

Bundles of notes, calculations and first drafts for procedures, bearing notes and descriptions by Strachey as follows:

  • 'Multiple length arithmetic'.
  • 'Input D. Needs revision - will not accept blank tape before number sequence...'
  • 'Reconsider when Formal Role working is possible'.
  • 'Check by planting'.
  • 'Worth further consideration'. (This set is considered 'much more advanced than the others' by Dr. C. Phelps).
  • 'Dull - needs revision'.

'M.U.C. Uncompleted Routines'
Date: 1951, 1953
Shelfmark: MS. Eng. misc. b. 261/C.51
Former ref: CSAC 71.1.80/C.51

Scope and Content:

Fourteen bundles of notes, calculations and routines.


'M.U.C. Uncompleted Routines
Date: n.d
Shelfmark: MS. Eng. misc. b. 261/C.52
Former ref: CSAC 71.1.80/C.52

Scope and Content:

Folder of calculations and routines, perhaps related to above (some headed Pageprint, Floatpoint, etc.) but kept as loose sheets, not in bundles.

'M.U.C. Various Routines (some untested)'.

Large folder of bundles of notes, calculations and routines, which have been divided for ease of handling.


'M.U.C. Various Routines (some untested)'
Date: 1952-1953
Shelfmark: MS. Eng. misc. b. 261/C.53
Former ref: CSAC 71.1.80/C.53

Scope and Content:

Large folder of bundles of notes, calculations and routines, which have been divided for ease of handling.

Input and other routines, (in original folder).


'M.U.C. Various Routines (some untested)'
Date: 1952
Shelfmark: MS. Eng. misc. b. 261/C.54
Former ref: CSAC 71.1.80/C.54

Scope and Content:

Large folder of bundles of notes, calculations and routines, which have been divided for ease of handling.

Sixteen bundles of notes, etc. relating to Floatpoint and Floataid routines.

The routines, which go up to 'Mark VI', were begun in 1952; they include one bundle labelled by Strachey 'Completed routines', one bundle consisting of an account of the purpose and use of a floating binary point, and one bundle with correspondence from K.V. Huddart, 1952, perhaps related to MS. Eng. misc. b. 262/C.63.


'M.U.C. Various Routines (some untested)'
Date: 1955
Shelfmark: MS. Eng. misc. b. 261/C.55
Former ref: CSAC 71.1.80/C.55

Scope and Content:

Large folder of bundles of notes, calculations and routines, which have been divided for ease of handling.

Six bundles of notes dated 12 April 1955, on Bessel functions, Chebychev series, double length arithmetic, correction routines, etc.


'M.U.C. Various Routines (some untested)'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 261/C.56
Former ref: CSAC 71.1.80/C.56

Scope and Content:

Large folder of bundles of notes, calculations and routines, which have been divided for ease of handling.

Two undated bundles of notes.

Printout using all above routines, with manuscript note by Strachey: 'Examples of the computer output (Manchester University machine).

The large sheet is a test of an output routine and consists of the numbers ± 2±n for n < 39.

There is one error due to a programme fault'.


'Math. Theory of Subroutines for various functions'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 262/C.57
Former ref: CSAC 71.1.80/C.57

Scope and Content:

Exercise book, 'Constants and Useful Numbers in Binary notation' (and other notes).


'Math. Theory of Subroutines for various functions'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 262/C.58
Former ref: CSAC 71.1.80/C.58

Scope and Content:

Three bundles of notes on mathematical functions (in original folder.)


'Math. Theory of Subroutines for various functions'
Date: 1956
Shelfmark: MS. Eng. misc. b. 262/C.59
Former ref: CSAC 71.1.80/C.59

Scope and Content:

'Arctan' (2 bundles, some pages dated 1955).

'EXAPP' (2 bundles).


'Math. Theory of Subroutines for various functions'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 262/C.60
Former ref: CSAC 71.1.80/C.60

Scope and Content:

Four bundles of notes:

  • '(D.L.) Digital Division'.
  • 'Digitwise formula'.
  • 'D.L. Exp.'.
  • 'Elem. Fns.'

'Math. Theory of Subroutines for various functions'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 262/C.61
Former ref: CSAC 71.1.80/C.61

Scope and Content:

Miscellaneous untitled notes, mainly of approximations to elementary functions.


Project: 'Surge Shaft'
Date: 1951-1952
Shelfmark: MS. Eng. misc. b. 262/C.62
Former ref: CSAC 71.1.80/C.62

Scope and Content:

This was the 'Garry Project' for the design of a Quoick surge shaft, for Sir William Halcrow and Partners.

Bundle of notes and calculations relating to the project from Sir William Halcrow and Partners, December 1951-January 1952.

Manuscript and typescript versions of Strachey's description of 'Surge Shaft routine' and 'Fundamental equations'.

Eight bundles of notes, calculations, routines.


Project: 'Ferromag'
Date: December 1952-May 1953
Shelfmark: MS. Eng. misc. b. 262/C.63
Former ref: CSAC 71.1.80/C.63

Scope and Content:

Correspondence and papers relating to the Ising model of ferromagnetism, a problem suggested to Strachey by S.P. Frankel, California Institute of Technology, and worked out with the help of K.W. Huddart.

Folder includes correspondence and 6 bundles of notes, calculations and routines, and a computer printout of a program with Strachey's comments.


Project: 'Head Wrightson'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 262/C.64
Former ref: CSAC 71.1.80/C.64

Scope and Content:

Notes and calculations for a routine of this name for M.U.C., apparently based on 'Equations of Equilibrium for Three-Stage Let-Down of Kuwait Crude' (enclosed).

C.3.4.c   Ferranti Pegasus Computer, design and projects


Scope and Content:

The Pegasus machine incorporated some of the techniques of standard packages developed for the 401 computer made by Elliott Brothers with support from the National Research Development Corporation. The abbreviation F.P.C.I, used on many of Strachey's folders, originally designated Ferranti Packaged Computer No. 1, but later stood for Ferranti Pegasus Computer.

Strachey was responsible to the National Research Development Corporation for the overall machine design, instruction set and detailed writing of the multiplier-divider units; he also specified and wrote much of the initial software which contained a comprehensive assembly system for incorporating library sub-routines.

The Pegasus machine proved very popular, and 38 were made. See MS. Eng. misc. b. 295/G.1 for a course of lectures on 'Programming for the F.P.C.1' given by Strachey at Northampton Polytechnic, London.

See MS. Eng. misc. b. 280/D.41-MS. Eng. misc. b. 282/D.81 for material relating to Ferranti Mercury and Orion machines.

The folders preserve Strachey's ordering and titles, though very bulky folders have been divided for ease of handling. Few of the documents are dated, and some of the early items relate to the Ferranti machines in use at Manchester and Toronto on which Strachey learnt and tested programming ideas and techniques.


'Notes on Logical Design'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 262/C.65
Former ref: CSAC 71.1.80/C.65

Scope and Content:

'2 digit mult[iplier] with 1 adder'.

'F.P.C. Divider. Proof of algorithm'.

'F.P.C. Division Algorithm'.

'General Division Processes'.

'Fast Division by 3'.

'Multiplication'.

'Slow signed multiplier'.


'Notes on Logical Design'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 262/C.66
Former ref: CSAC 71.1.80/C.66

Scope and Content:

'3 - address code' (3 bundles).


'Logical design of Units'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 262/C.67
Former ref: CSAC 71.1.80/C.67

Scope and Content:

Bundles of notes and calculations, with titles as follows:

  • 'Decimal conversions'
  • 'Ternary Logical Units'
  • 'Counters'
  • 'Search Register'
  • 'Tape Input (Magnetic and Paper)'
  • Some loose pages, and a note by D. Gillies on 'Gillies Adder-Subtractor'.

'F.P.C. Library Subroutines'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 262/C.68
Former ref: CSAC 71.1.80/C.68

Scope and Content:

Folder of miscellaneous routines with Strachey's manuscript note of contents on the cover. These are tested routines of square root, exponentials, logs, sin/cos, arcton, and input-output steering routine.


'F.P.C. Library Subroutines'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 262/C.69
Former ref: CSAC 71.1.80/C.69

Scope and Content:

Routine called 'R.C.S. [Routine Changing Sequence].

Notes, calculations and test.

This may be Strachey's first scheme for calling routines (Dr. C. Phelps's note on the work is included in the folder.)


'F.P.C.1. Tape Codes'
Date: Sep-Dec 1954
Shelfmark: MS. Eng. misc. b. 262/C.70
Former ref: CSAC 71.1.80/C.70

Scope and Content:

Folder of correspondence, drafts and calculations and Strachey's proposals.

Includes commercial literature from Creed & Company on teleprinters, suggested models for codes (some by Strachey, others annotated by him), notes of discussions between Ferranti and the National Research Development Corporation, drafts and calculations by Strachey and others, comments on Strachey's codes, correspondence on articles.

Strachey's outgraphs draft on 'F.P.C. Tape Code', 10 pages, is included here.


'Punched Paper Tape Codes'
Date: 1954
Shelfmark: MS. Eng. misc. b. 262/C.71
Former ref: CSAC 71.1.80/C.71

Scope and Content:

Duplicated copies of Pegasus Input and Output Teleprinter Code (December 1954) and F.P.C. tape code, with many manuscript corrections and annotations by Strachey.

These are based on, but not identical with the draft in MS. Eng. misc. b. 281/D.70 above. Dr. C. Phelps notes that the eventual code adopted came to light for the first time in Strachey's scribbled changes on page 6 of the document.


'Routines for calculating the Elementary Functions'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 263/C.72
Former ref: CSAC 71.1.80/C.72

Scope and Content:

Manuscript and typescript of paper so titled.


'Elementary Functions'
Date: 1955
Shelfmark: MS. Eng. misc. b. 263/C.73
Former ref: CSAC 71.1.80/C.73

Scope and Content:

Bundles of related notes and calculations:

  • 'Chebychev Polynomials'.
  • 'F.P.C.1. Notes for Subroutines'.
  • Untitled (some pages dated 1955) and loose sheets.

'Elementary Functions'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 263/C.74
Former ref: CSAC 71.1.80/C.74

Scope and Content:

Three bundles of notes and calculations, and loose sheets.


'Elementary Functions'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 263/C.75
Former ref: CSAC 71.1.80/C.75

Scope and Content:

Three bundles of narrative, notes and calculations on 'Exponential Routines'.


'Elementary Functions'
Date: 1955-1957
Shelfmark: MS. Eng. misc. b. 263/C.76
Former ref: CSAC 71.1.80/C.76

Scope and Content:

Work on 'Wide-range logarithm' sub-routine for Pegasus, notes, calculations, printouts.


'Elementary Functions'
Date: 1957
Shelfmark: MS. Eng. misc. b. 263/C.77
Former ref: CSAC 71.1.80/C.77

Scope and Content:

Correspondence and offprint on 'infinite series' and 'numbers with a negative base'.


'Elementary Functions'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 263/C.78
Former ref: CSAC 71.1.80/C.78

Scope and Content:

'"Chebycheff" Fraction. Approximations'.

Miscellaneous calculations.


'Miscellaneous Pegasus'.
Date: 1955
Shelfmark: MS. Eng. misc. b. 263/C.79
Former ref: CSAC 71.1.80/C.79

Scope and Content:

Three bundles of notes and calculations, some pages dated.


'F.P.C. M/D Layout'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 263/C.80
Former ref: CSAC 71.1.80/C.80

Scope and Content:

Five bundles of notes and calculations.


'F.P.C.1 Loading and delays through units'
Date: Sep 1954
Shelfmark: MS. Eng. misc. b. 263/C.81
Former ref: CSAC 71.1.80/C.81

Scope and Content:

Miscellaneous notes and calculations.

Typescript copy of 'loading rules'.

C.3.4.d   Projects using Ferranti Pegasus Computer, 1956-1959


Work on 'Flutter' in aircraft
Date: 1956
Shelfmark: MS. Eng. misc. b. 263/C.82
Former ref: CSAC 71.1.80/C.82

Scope and Content:

This work, carried out in collaboration with R. Penrose, produced a program for testing on Pegasus, and led to further work by Strachey on matrices and collaborative work with J.G.F. Francis.

Six-page manuscript and typescript, with manuscript corrections, of paper on 'Flutter'.

Related Material:

See MS. Eng. misc. b. 265/C.112, MS. Eng. misc. b. 289/F.12.



Work on 'Flutter' in aircraft
Date: n.d.
Shelfmark: MS. Eng. misc. b. 263/C.83
Former ref: CSAC 71.1.80/C.83

Scope and Content:

Calculations, routines and printouts.

Related Material:

See MS. Eng. misc. b. 265/C.112, MS. Eng. misc. b. 289/F.12.



Work on 'Flutter' in aircraft
Date: 1956-1957
Shelfmark: MS. Eng. misc. b. 263/C.84
Former ref: CSAC 71.1.80/C.84

Scope and Content:

'Some matrix problems arising from the consideration of flutter in aircraft'.

Four-page manuscript and typed versions of paper dated 1 November 1956 with authorisation to publish, dated November 1957.

Related Material:

See MS. Eng. misc. b. 265/C.112, MS. Eng. misc. b. 289/F.12.



Work on 'Flutter' in aircraft
Date: 1958
Shelfmark: MS. Eng. misc. b. 263/C.85
Former ref: CSAC 71.1.80/C.85

Scope and Content:

Five bundles of notes and calculations on flutter, almost all in Strachey's hand but some with additions by R. Penrose.

Includes note on 'The information required from flutter calculations' (not in Strachey's hand) and a letter on eigenvalue from R. Penrose, March 1958.


Work on 'Flutter' in aircraft
Date: 1957-1958
Shelfmark: MS. Eng. misc. b. 263/C.86
Former ref: CSAC 71.1.80/C.86

Scope and Content:

Correspondence on 'Flutter'. Includes:

  • Letter to D.B. Gillies on Pegasus and on 'Flutter' (Strachey's carbon only), February 1957.
  • Correspondence with Armstrong Whitworth Aircraft Ltd. regarding visit by Strachey to demonstrate his 'Flutter' program on the Company's Pegasus machine, December 1957.
  • Correspondence with aircraft companies.
  • Miscellaneous brief correspondence with collaborator, J. Francis.
Related Material:

See MS. Eng. misc. b. 265/C.112, MS. Eng. misc. b. 289/F.12.



Work on matrices using Pegasus
Date: 1957
Shelfmark: MS. Eng. misc. b. 263/C.87
Former ref: CSAC 71.1.80/C.87

Scope and Content:

'Hilbert Matrix': calculations, routines and printouts on Hilbert coefficients, eigenvalues and eigenvectors (printouts dated April-May 1957).


Work on Matrices using Pegasus
Date: n.d.
Shelfmark: MS. Eng. misc. b. 263/C.88
Former ref: CSAC 71.1.80/C.88

Scope and Content:

'Hilbert Matrix Programme': routines and printouts on Hilbert coefficients, idempotents, eigenvalues and matrix inversion.


Work on Matrices using Pegasus
Date: 1957
Shelfmark: MS. Eng. misc. b. 263/C.89
Former ref: CSAC 71.1.80/C.89

Scope and Content:

'Bordered Inversion': calculations, routines and printouts on 'Bordered Hilbert test' and 'Bordered Inversion' (printouts dated October-November 1957); includes bundles of notes on 'Entry', 'Error Analysis' and a note headed 'A new method of inverting matrices'.


Work on Matrices using Pegasus
Date: December 1958
Shelfmark: MS. Eng. misc. b. 263/C.90
Former ref: CSAC 71.1.80/C.90

Scope and Content:

Loose pages of notes and a letter on matrices from J.H. Wilkinson


Work on Matrices using Pegasus
Date: 1959
Shelfmark: MS. Eng. misc. b. 263/C.91
Former ref: CSAC 71.1.80/C.91

Scope and Content:

'Transformer Matrix Switching': 4-page manuscript and miscellaneous typescript pages of a paper dated 2 November 1959, with miscellaneous bundles, loose pages and photocopies of notes and calculations.


Pegasus: 'Reactor Instability Problem'
Date: 1958
Shelfmark: MS. Eng. misc. b. 264/C.92
Former ref: CSAC 71.1.80/C.92

Scope and Content:

Statement of problem (duplicated typescript, 7 pages), and Strachey's calculations, using Pegasus machine.


Pegasus: 'Coding Experiments'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 264/C.93
Former ref: CSAC 71.1.80/C.93

Scope and Content:

Six bundles of notes aiming to translate Pegasus programs to EDSAC II. n.d. but after 1958.


Pegasus: 'Possible Order Codes'
Date: 1959
Shelfmark: MS. Eng. misc. b. 264/C.94
Former ref: CSAC 71.1.80/C.94

Scope and Content:

Calculations and routines for MUSE (Manchester University Computer) especially regarding autocode and floating point arithmetic, in response to a letter from N. Brown, January 1959 (enclosed).

Related Material:

See MS. Eng. misc. b. 264/C.98


C.3.4.e   Very high speed computers, 1957-1959


Scope and Content:

Correspondence, committee papers, notes, calculations, etc.

Strachey was a representative of the National Research Development Corporation at meetings and on the Working Party to consider this project, and was in attendance at meetings of the National Research Development Corporation Sub-Committee on Electronic Computers until March 1959.


I.B.M. Stretch Computer
Date: n.d.
Shelfmark: MS. Eng. misc. b. 264/C.95
Former ref: CSAC 71.1.80/C.95

Scope and Content:

Miscellaneous reports and memoranda regarding the I.B.M. Stretch Computer (a very high speed machine) sent to Strachey as background information, with a memorandum by D. Hennessey.


'Large machines'
Date: 1957
Shelfmark: MS. Eng. misc. b. 264/C.96
Former ref: CSAC 71.1.80/C.96

Scope and Content:

Folder of miscellaneous papers, including:

  • Summary of a meeting to discuss the technical problems of the development of a high speed computer, held at Harwell, April 1957.
  • Manuscript and typescript versions of Strachey's paper on the design and specification of such a machine, July 1957.
  • Calculations and notes by Strachey for machine design and for administrative structure.
  • Memorandum on the project by D. Hennessey, September 1957.

Correspondence
Date: July 1957-January 1958
Shelfmark: MS. Eng. misc. b. 264/C.97
Former ref: CSAC 71.1.80/C.97

Scope and Content:

Correspondence with companies in the USA for information on high-speed circuits and components.


'Very fast machines'
Date: Jan-Jun 1958
Shelfmark: MS. Eng. misc. b. 264/C.98
Former ref: CSAC 71.1.80/C.98

Scope and Content:

Folder of miscellaneous papers, including

  • 'N.R.D.C. and High speed computers', chronological summary of meetings during 1957 and notes on those attending meeting at Harwell, February 1958. (Strachey was the National Research Development Corporation representative at this meeting.)
  • Agenda and report of meeting.
  • Interim report, Strachey's comments, discussions on wording, draft and final version of report (by Strachey, D.J. Wheeler, E.H. Cooke-Yarborough, J. Howlett) on the Manchester Electronic Computer Project.
  • (National Research Development Corporation Sub-committee on Electronic Computers Paper 170). This is the MUSE machine.
Related Material:

(See MS. Eng. misc. b. 264/C.94)



'Computer SubCo'
Date: 1959
Shelfmark: MS. Eng. misc. b. 264/C.99
Former ref: CSAC 71.1.80/C.99

Scope and Content:
  • Mainly Committee papers of the National Research Development Corporation Sub-committee on Electronic Computers, September 1958-March 1959, bearing on discussions regarding high speed computers, National Research Development Corporation support for and relations with various UK and other computer manufacturers.
  • Strachey was a member of the Sub-committee until he and Lord Halsbury left the National Research Development Corporation in March 1959.
  • In addition, the folder includes memoranda from Strachey on 'Possible Development from the Emidec 2400' (December 1958), 'EMI and Ferranti Proposals for a High Speed Computer' (February 1959), and Lord Halsbury's 'Swan Song' on proposals by E.M.I. and Ferranti (March 1959).

'Compiler'
Date: 1958
Shelfmark: MS. Eng. misc. b. 264/C.100
Former ref: CSAC 71.1.80/C.100

Scope and Content:

Five bundles, probably related to, or developed from, work on the fast computer project. Includes manuscript code, pseudocode, and printed output from a test compiler.


'Compiler'
Date: 1958
Shelfmark: MS. Eng. misc. b. 264/C.101
Former ref: CSAC 71.1.80/C.101

Scope and Content:

Two bundles and loose pages, probably related to, or developed from, work on the fast computer project. Includes code, pseudocode, timing notes, and a printed Pegasus - Summarized Programming Information chart.


'Gabor'
Date: Aug-Sep 1958
Shelfmark: MS. Eng. misc. b. 264/C.102
Former ref: CSAC 71.1.80/C.102

Scope and Content:

Folder of calculations, printouts, etc. related to new developments in cathode-ray tubes discussed in paper by D. Gabor et al, Proc. I.E.E., 1958; a copy of the paper, and correspondence from Gabor regarding 'electron-optical computations on flat TV-tube' are included. Probably undertaken as a study of cathode ray tube storage relating to the I.B.M. Stretch and high speed computer project.

C.3.5   Miscellaneous notes and drafts


Scope and Content:

The folders MS. Eng. misc. b. 265/C.104-MS. Eng. misc. b. 265/C.114 were all kept together by Strachey under the general heading 'Numerical Analysis etc. Flutter, Codiagonal Methods', though the material refers more widely to various problems on which he worked 1952-1959; it also continues to c.1961-1962 during his period as a private consultant after leaving the National Research Development Corporation, and especially to his collaborative paper on matrices. The material may have been assembled for the projected book Introduction to Programming.


'Notes for papers'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 265/C.103
Former ref: CSAC 71.1.80/C.103

Scope and Content:

Folder of miscellaneous material, including a plan for a projected book Introduction to Programming, which was to include discussion of important advances made by projects undertaken during Strachey's period at the National Research Development Corporation (St. Lawrence Seaway, Flutter, Logical Design, Autocode, etc.).


'Runge-Kutta'
Date: 1952
Shelfmark: MS. Eng. misc. b. 265/C.104
Former ref: CSAC 71.1.80/C.104

Scope and Content:

Bundles of notes and calculations, perhaps for Manchester Computer, or for Elliott 401 at Cambridge, as follows:

  • 'Runge Kutta. Gill' [Stanley Gill]
  • 'Determining Equations'
  • 'Special case A'
  • '4th order Complete solution'
  • '5th order (incomplete)'

Also includes a letter from D.B. Gillies.


'Miscellaneous Maths. Current'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 265/C.105
Former ref: CSAC 71.1.80/C.105

Scope and Content:

Two bundles of notes on asymptotic expansions.


'Linear Accelerator. Maths'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 265/C.106
Former ref: CSAC 71.1.80/C.106

Scope and Content:

Two bundles of notes, and extensive loose pages of calculations.


Miscellaneous notes and calculations
Date: n.d.
Shelfmark: MS. Eng. misc. b. 265/C.107
Former ref: CSAC 71.1.80/C.107

Scope and Content:

Folder marked:

  • 'L-R
  • 'Q-R'

'Roots of Tridiagonal. Autocode programs'
Date: 1958
Shelfmark: MS. Eng. misc. b. 265/C.108
Former ref: CSAC 71.1.80/C.108

Scope and Content:

Calculations, routines and printouts (some pages dated May 1958). Five bundles.


Program for codiagonal matrix
Date: 1960
Shelfmark: MS. Eng. misc. b. 265/C.109
Former ref: CSAC 71.1.80/C.109

Scope and Content:

Printout of a program for codiagonal matrix; this is written in ALGOL, probably 1960, and may not be Strachey's work.


'Polynomials. Roots etc.'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 265/C.110
Former ref: CSAC 71.1.80/C.110

Scope and Content:

Three bundles of calculations.


'Matrix Algebra'
Date: c.1958
Shelfmark: MS. Eng. misc. b. 265/C.111
Former ref: CSAC 71.1.80/C.111

Scope and Content:

Eight bundles of calculations and loose pages.


'Codiagonal Forms in Matrix Eigenvalue Problems'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 265/C.112
Former ref: CSAC 71.1.80/C.112

Scope and Content:

Miscellaneous manuscript drafts for paper with this title, perhaps early form of that later published with J.G.F. Francis, Computer Journal, 4.

Includes drafts for 'Preliminaries', 'Special Codiagonal Forms', 'Derivation Form', 'Matrix interpretation of analogue of Bairstow process for Codiagonal form', 'Real roots of an unsymmetric matrix', and a heavily corrected typed version.

Folder includes 8-page manuscript note in another hand 'On the automatic choice of 'best' values for the parameters in Tchebycheff iteration', discussing an automatic program written for EDSAC.

Related Material:

See also MS. Eng. misc. b. 289/F.12.



'Rotated Schwarz. Location of roots on real axis'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 265/C.113
Former ref: CSAC 71.1.80/C.113

Scope and Content:

Miscellaneous bundles of notes and calculations on work of Schwarz, Lanczos, and other problems of Codiagonals, Tridiagonals, Polynomials, etc.


Miscellaneous notes
Date: 1961-1962, n.d.
Shelfmark: MS. Eng. misc. b. 265/C.114
Former ref: CSAC 71.1.80/C.114

Scope and Content:

Material related to MS. Eng. misc. b. 265/C.112.


'Conformal Transformations'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 265/C.115
Former ref: CSAC 71.1.80/C.115

Scope and Content:

Five bundles of miscellaneous mathematical calculations on transformations, etc., n.d. but using Pegasus.

C.4   Private Consultancy, 1959-1964


Scope and Content:

Strachey left the National Research Development Corporation in 1959 and set up formally as a private consultant in June 1959, with Peter Landin as his assistant (see MS. Eng. misc. b. 251/A.44-MS. Eng. misc. b. 252/A.60). While maintaining relations with official work through the National Research Development Corporation and other committees, etc., he undertook commissions from computer manufacturers on the design and use of computers. Much of the material in the folders below should therefore be read in conjunction with the relevant folders in Section D. Consultancies, to which cross-references are given where possible.

From about 1960 Strachey adopted the (not invariable) practice of date-stamping his notes, and these dates are given in the items below, as well as the titles or descriptions on the original folders. In the case of loose papers, however, it has not always been possible to assign them with certainty to a specific project among the several in which Strachey was often simultaneously involved at this period.

His work on LISP for the EMIDEC 2400 (see MS. Eng. misc. b. 266/C.121-MS. Eng. misc. b. 267/C.135, MS. Eng. misc. b. 278/D.14-MS. Eng. misc. b. 279/D.32) consolidated his approach to the mathematics and semantics of high-level programming languages, and led to his participation in the work of the Cambridge group on CPL (see MS. Eng. misc. b. 268/C.136-MS. Eng. misc. b. 272/C.184) and his Fellowship at Churchill College (see MS. Eng. misc. b. 253/A.61). His private consultancy business was formally wound up in 1964 before his visit to M.I.T. and his appointment at Oxford.

C.4.1   General consultancy, 1960-1961


Royal Radar Establishment All-transistor Computer (RREAC)
Date: Feb-Jun 1960
Shelfmark: MS. Eng. misc. b. 266/C.116
Former ref: CSAC 71.1.80/C.116

Scope and Content:

Description and order code of the machine, Strachey's comparative notes on its performance, 2 copies of his 'Report on the computer being built at RRE' (2 pages.), 7 June 1960.


Work on 'Ship Fairings'
Date: Dec 1960-Oct 1961
Shelfmark: MS. Eng. misc. b. 266/C.117
Former ref: CSAC 71.1.80/C.117

Scope and Content:

Work on 'Ship Fairings', undertaken at the request of the National Research Development Corporation.

Notes, graphs, calculations, a computer printout on Pegasus autocode regarding the problem of fitting the curved end portions of a ship, and Strachey's 'Comments on a Note on Ship Fairing' (2 pages.). n.d. but probably October 1961.


Work on Traffic Control
Date: 1960-1961
Shelfmark: MS. Eng. misc. b. 266/C.118
Former ref: CSAC 71.1.80/C.118

Scope and Content:

This work was undertaken at the request of the National Research Development Corporation and the Road Research Laboratory.

Includes:

  • Memos, etc. from the National Research Development Corporation regarding collaborative work on the problem with the Road Research Laboratory and electronic equipment manufacturers, February 1960.
  • Manuscript and typescript versions of a paper by Strachey: 'Simulation of traffic behaviour on a digital computer', 3 March 1960.
  • Memo of Informal Discussion on 'Future developments in traffic signals', held by the Institution of Civil Engineers, Traffic Engineering Study Group, 16 March 1961.

Work on Traffic Control
Date: 1961
Shelfmark: MS. Eng. misc. b. 266/C.119
Former ref: CSAC 71.1.80/C.119

Scope and Content:

Includes: Diagrams and calculations by Strachey, especially on traffic control at junctions.

Copy of a paper 'Traffic simulation programme' for Pegasus, by J.G.F. Francis, June 1961, probably developed from above.


Miscellaneous papers on ALGOL
Date: 1960-1961
Shelfmark: MS. Eng. misc. b. 266/C.120
Former ref: CSAC 71.1.80/C.120

Scope and Content:

Perhaps assembled for review/comment on a paper by H. Rutishauser 'Interference with an ALGOL-procedure' (a copy of which is enclosed) for Review in Automatic Programming.

Folder also includes a copy of 'Towards an ALGOL translator' by Bryan Higman, 1961, with comments by P. Landin and M. Woodger, and an offprint of 'Report on the algorithmic language ALGOL60' by J.W. Backus et al.

Related Material:

See also MS. Eng. misc. b. 289/F.13-MS. Eng. misc. b. 289/F.16.


C.4.2   Work on LISP (LISt + Processing language), 1960-1973


Scope and Content:

LISP is a computer language based heavily on ALGOL and was put forward by J. McCarthy in 1960.

Strachey's folders of work on LISP below date from 1960 and relate to the development of a LISP-type language for the EMIDEC 2400. Much of the work is entirely mathematical, but there are some narrative sections and a little correspondence.

As work progressed, Strachey seems to have developed other languages, e.g. BL (Basic Language) which he tried out on EMIDEC and other machines (see especially MS. Eng. misc. b. 267/C.134 and MS. Eng. misc. b. 267/C.135).

The presentation is chronological as far as possible, but not all the notes are dated.

Related Material:

For further material on Strachey's consultancy with E.M.I. and his work on their machines see MS. Eng. misc. b. 278/D.14-MS. Eng. misc. b. 279/D.32.



'L.B. I. Programmes' (LISP Bootstrap)
Date: Jun-Sep 1960
Shelfmark: MS. Eng. misc. b. 266/C.121
Former ref: CSAC 71.1.80/C.121

Scope and Content:

Notes, calculations and printouts regarding 'Set up LISP program' on EMIDEC 2400.


'LISP Bootstrap'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 266/C.122
Former ref: CSAC 71.1.80/C.122

Scope and Content:

Miscellaneous notes, all loose pages.


'EMIDEC 2400
Date: Jul-Oct 1960
Shelfmark: MS. Eng. misc. b. 266/C.123
Former ref: CSAC 71.1.80/C.123

Scope and Content:

LISP Bootstrap Translator' (L.B.T.): notes, calculations and printouts.


'LISP EMI 2400.
Date: July-Oct 1960
Shelfmark: MS. Eng. misc. b. 266/C.124
Former ref: CSAC 71.1.80/C.124

Scope and Content:

'LISP EMI 2400: machine results etc.'

Mainly printouts, with Strachey's comments on results.


'BL → AL, AL → ML: assembly and Translation'
Date: Oct-Dec 1960
Shelfmark: MS. Eng. misc. b. 266/C.125
Former ref: CSAC 71.1.80/C.125

Scope and Content:

Four bundles of notes, October 1960, on 'Assembly', 'Translation from L.B.I to Assembly coder', 'Temporary Translation of Assembly', 'LB I', and a 3-page note on 'Structure of List Bootstrap Process' with definition of terms, etc.


'LISP. General functions in L.B.'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 266/C.126
Former ref: CSAC 71.1.80/C.126

Scope and Content:

Notes and calculations, all loose pages.


List processing
Date: 1960-1961
Shelfmark: MS. Eng. misc. b. 266/C.127
Former ref: CSAC 71.1.80/C.127

Scope and Content:

Miscellaneous bundles of notes, calculations and narrative. Various dates, beginning December 1960, but mainly July and November 1961.

The notes are on list processing, and may be related to the Film Store Test Equipment of the EMIDEC 2400; miscellaneous information sheets and function tables, annotated by Strachey, about the Film Store Test Equipment are included with the notes, and one bundle is headed 'Film Test Store. LISP'.


'Polynomial Operations'
Date: Sep-Oct 1961
Shelfmark: MS. Eng. misc. b. 267/C.128
Former ref: CSAC 71.1.80/C.128

Scope and Content:

Miscellaneous bundles of notes, calculations and narrative. These are almost entirely mathematical, one set being headed 'EMI 2400. Restricted Rational Fractions and Integers'.

Related Material:

Related to MS. Eng. misc. b. 267/C.129



Notes, calculations and printouts
Date: 1961-1962
Shelfmark: MS. Eng. misc. b. 267/C.129
Former ref: CSAC 71.1.80/C.129

Scope and Content:

Included with one bundle is a letter from Strachey to N. Brown (E.M.I.) October 1961: 'here are the machine language functions and the LISP functions for performing arithmetic on rational fractions'.


EMIDEC 2400
Date: Oct-Nov 1961
Shelfmark: MS. Eng. misc. b. 267/C.130
Former ref: CSAC 71.1.80/C.130

Scope and Content:

Copy of the official Design Specification for the EMIDEC 2400 computer, compiled by N. Brown, October 1961, and approved by C. Dain, November 1961. On the cover and title page the 2 and 00 are crossed out in the model number.


Miscellaneous narratives and notes
Date: Mar-Apr 1962
Shelfmark: MS. Eng. misc. b. 267/C.131
Former ref: CSAC 71.1.80/C.131

Scope and Content:

Miscellaneous narratives and notes on various topics, e.g. time-sharing, control strings, evaluation, etc.


Draft manual or description for a LISP language
Date: 1962-1973
Shelfmark: MS. Eng. misc. b. 267/C.132
Former ref: CSAC 71.1.80/C.132

Scope and Content:

Tagged folder of notes (various dates May-July 1962), with separate bundles and loose pages of notes (various dates October 1961-October 1962) all kept together, with a note by Strachey added. c.1973: 'LISP-like system. Probably for EMIDEC 2400?'.


'Subroutines written for the LISP System'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 267/C.133
Former ref: CSAC 71.1.80/C.133

Scope and Content:

Six-page typescript note 'Subroutines written for the LISP System', beginning 'In order that programming effort among those interested in the Strachey Lisp system may be coordinated...' (not by Strachey).


'L.B. for Pegasus etc'
Date: Sep 1960-Feb 1961
Shelfmark: MS. Eng. misc. b. 267/C.134
Former ref: CSAC 71.1.80/C.134

Scope and Content:

Folder of notes and calculations. An attempt to test Basic Language (BL) programs on other computers, including Pegasus, Orion, and Edsac II.


'LISP Progs.'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 267/C.135
Former ref: CSAC 71.1.80/C.135

Scope and Content:

Five bundles of undated notes:

  • 'Basic Language Structure' (B.L. sometimes L.B.)
  • 'B-List C-List'
  • 'List Program'
  • 'General form of writing List programs'
  • 'Define Macro'

C.5   Cambridge University Mathematical Laboratory, 1962-1965


Scope and Content:

Strachey's period of work in Cambridge was relatively short. He joined the Mathematical Laboratory on a part-time basis in 1962 (see MS. Eng. misc. b. 253/A.62) and left to take up an appointment at Massachusetts Institute of Technology in September 1965 (see MS. Eng. misc. b. 253/A.66), subsequently moving to Oxford.

The period was nevertheless an important one in which he participated in major projects, notably CPL, and began work on several other ideas such as the Macrogenerator and formal semantics which were continued later and elsewhere.

The heading has therefore been adopted, partly for convenience but also because it represents a genuine chapter in Strachey's career.

C.5.1   CPL


Scope and Content:

In the Technical Report. CPL Working Papers (MS. Eng. misc. b. 270/C.153) these initials are expanded as Combined Programming Language, thus encompassing both the origin of the project as a joint endeavour between Cambridge and London Universities, and its intention to develop a language with the properties of ALGOL 60 and of a list processing language such as LISP.

The initials are, however, often understood to stand for Cambridge Programming Language, and are so expanded in A. Hyman, Computing. A Dictionary of terms, concepts and ideas, London 1976, where it is defined as 'A specialized programming language of great logical power developed by Christopher Strachey'. Less seriously, CPL was sometimes taken to refer to Christopher's Private Language, reflecting Strachey's major contribution to the work of the team.

Because CPL and its successor BCPL originated in Cambridge, all the related papers have been kept together as an entity, although they extend over a much wider spread of time and place, covering Strachey's period at Massachusetts Institute of Technology and his appointment at Oxford, as well as similar comings and goings among other members of the CPL team.

The following remarks and descriptions of the history of CPL are adapted from the Preface to the Working Papers (MS. Eng. misc. b. 270/C.153)

'In October 1962 a joint research project was begun by the University Mathematical Laboratory, Cambridge and the Institute of Computer Science, London (then known as the University of London Computer Unit). The aim of this project was to design and implement a new programming language for use on the Atlas I and II (Titan) computers in the two establishments.

The initial team consisted of D.W. Barron, D.F. Hartley and C. Strachey from Cambridge and J.N. Buxton and E. Nixon from London.

It was intended that the language should possess the advantages of the general structure and precise description of Algol 60 but should be of wider practical utility. Many of its main features were settled at an early stage and were described (in 1963) in a paper in the Computer Journal (MS. Eng. misc. b. 268/C.141 and MS. Eng. misc. b. 289/F.24).

The design of the language, as apposed to its implementation, was never more than a part time occupation for any of the authors. As the language gradually approached its present state, the authors' meetings became less frequent and those who were not actively engaged in an implementation found it more difficult to keep in touch with the language. At the same time some of the people who were engaged in an implementation began making substantial contributions to the language itself. During the period 1963 to 1966 D.W. Barron left the CPL language group and D. Park and M. Richards from Cambridge and G.F. Coulouris from London joined it.

Two versions of an Elementary Programming Manual were produced (MS. Eng. misc. b. 268/C.145 and MS. Eng. misc. b. 269/C.152) and three chapters of an Advanced Programming Manual were written by Strachey (MS. Eng. misc. b. 268/C.147).

In the spring of 1965 the authors decided to prepare and if possible publish a Reference Manual which would contain a complete description of CPL as it then stood. A first draft was prepared by Buxton and was followed by a second by Buxton, Hartley, Richards, Park and Coulouris, each writing one or more sections. This second draft (MS. Eng. misc. b. 269/C.148) was sent to Strachey at M.I.T. for extensive editing and revision (MS. Eng. misc. b. 269/C.149-MS. Eng. misc. b. 269/C.151).

After Strachey returned from M.I.T. the authors held a meeting in Oxford on 24 June 1966 (MS. Eng. misc. b. 270/C.156 at which they decided to publish a Technical Report. This Report (known as the 'Working Papers') would consist of the 2nd edition of the Elementary Programming Manual (MS. Eng. misc. b. 269/C.152) and the revised draft of the Reference Manual which had been circulated in the spring of 1966 (MS. Eng. misc. b. 269/C.151).

The Technical Report (MS. Eng. misc. b. 270/C.153) was the last formal report by the authors although work continued on CPL, especially on compound data structures and segmentation, and on BCPL, devised by M. Richards as a subset of CPL (MS. Eng. misc. b. 272/C.185-MS. Eng. misc. b. 272/C.196), for several years.

The papers are grouped into 2 sections

MS. Eng. misc. b. 268/C.136-MS. Eng. misc. b. 270/C.157 'Published papers'.

These are any semi-formal papers issued by the group-early Titan programming papers, CPL Bulletins and Circulars, Programming Manuals with Appendices and Supplements, various versions of the Reference Manual and the Working Papers. Included in this section are any drafts and working notes specifically linked to a publication.

Special attention is drawn to MS. Eng. misc. b. 270/C.155, the folder of 35 CPL language papers.

MS. Eng. misc. b. 270/C.158-MS. Eng. misc. b. 272/C.184 Working Papers.

These are the less formal notes, calculations, printouts, etc. generated by Strachey and the other members of the team. They are of a very miscellaneous composition and often cover a wide span of dates, owing to Strachey's habit of reworking his files or creating new ones from several disparate subjects. The contents of each folder have been left in Strachey's original order and enumerated as far as possible, although it will be obvious that they are very much interrelated. Cross-references have been given where possible, but do not claim to be complete.

C.5.1.a   Published papers


'Programming Language for TITAN', by D.F. Hartley (Titan Programming Paper No. 1)
Date: 18 May 1962
Shelfmark: MS. Eng. misc. b. 268/C.136
Former ref: CSAC 71.1.80/C.136

'Provisional Description of Titan for System Programmers', by D.W. Barron
Date: 28 May 1962
Shelfmark: MS. Eng. misc. b. 268/C.137
Former ref: CSAC 71.1.80/C.137

Scope and Content:

Ten pages. In 2 parts.


'A Survey of Some Programming Languages', by D.W. Barron and D.F. Hartley (Titan Programming Paper No. 2)
Date: Jun 1962
Shelfmark: MS. Eng. misc. b. 268/C.138
Former ref: CSAC 71.1.80/C.138

'A First Outline of the Proposed Cambridge Programming Language', by D.W. Barron, D.F. Hartley and C. Strachey (Titan Programming Paper No.4)
Date: 13 Aug 1962
Shelfmark: MS. Eng. misc. b. 268/C.139
Former ref: CSAC 71.1.80/C.139

'The Main Features of CPL'
Date: 1963
Shelfmark: MS. Eng. misc. b. 268/C.140
Former ref: CSAC 71.1.80/C.140

Scope and Content:

Fifteen-page typescript headed 'Second Draft 18.1.63'.

Fourteen-page typescript, similar to but not identical with above, intended for circulation within the University of London Computer Unit.

Later revised versions of these papers appeared as Titan Programming Paper No. 5 (CSAC 71.1.80/C.141 below) and as an article in The Computer Journal, 6.


'The Main Features of CPL', by D.W. Barron, J.N. Buxton, D.F. Hartley, E. Nixon and C. Strachey. (Titan Programming Paper No. 5), 26 February 1963.
Date: 1963
Shelfmark: MS. Eng. misc. b. 268/C.141
Former ref: CSAC 71.1.80/C.141

Scope and Content:

In an introductory note D.W. Barron explains that the proposals in Titan Programming Paper No.4 (C. 139) 'formed the basis from which CPL was developed, in cooperation with the University of London. On 21 February 1963 a Symposium on Development of New Programming Languages was held at London University, and for this a paper called 'The Main Features of CPL' was prepared. This paper is now issued, with corrections, as Titan Programming Paper No. 5'.

Also included here is a typescript of the article with same title published in The Computer Journal, 6.

See MS. Eng. misc. b. 289/F.24 for a copy of the published paper.


'An Introduction to CPL for Titan - Part I', by D.W. Barron, July 1963, with errata lists 1 and 2
Date: 1963
Shelfmark: MS. Eng. misc. b. 268/C.142
Former ref: CSAC 71.1.80/C.142

'CPL Bulletin, Number 1', by D.W. Barron, February 1964, with a set of programming examples
Date: 1964
Shelfmark: MS. Eng. misc. b. 268/C.143
Former ref: CSAC 71.1.80/C.143

'Titan CPL Object Code Circular IV', by J.C. Gray
Date: Jan 1965
Shelfmark: MS. Eng. misc. b. 268/C.144
Former ref: CSAC 71.1.80/C.144

'CPL Elementary Programming Manual. Edition I (London)' by J.N. Buxton
Date: n.d.
Shelfmark: MS. Eng. misc. b. 268/C.145
Former ref: CSAC 71.1.80/C.145

'Appendix II to CPL Elementary Programming Manual', by J.C. Gray
Date: May 1965
Shelfmark: MS. Eng. misc. b. 268/C.146
Former ref: CSAC 71.1.80/C.146

'CPL Advanced Programming Manual. Drafts'
Date: Dec 1963-Jan 1964
Shelfmark: MS. Eng. misc. b. 268/C.147
Former ref: CSAC 71.1.80/C.147

Scope and Content:

Typescript drafts by J.N. Buxton of several sections of the Manual, December 1963 and January 1964.

Duplicated typescript of the Manual by J.N. Buxton, June-July 1964, heavily annotated by Strachey.

Strachey's manuscript and/or typescript drafts of

  • Table of Contents
  • Items and Types (2.3)
  • Names, Brackets, etc. (2.4)
  • Constants (2.5)
  • Expressions (all of section 3)
  • Declarations (parts 1 and 2 of section 5)
  • Numerical Constants (11.2)

'CPL Reference Manual. Draft I'
Date: 1965
Shelfmark: MS. Eng. misc. b. 269/C.148
Former ref: CSAC 71.1.80/C.148

Scope and Content:

In the spring of 1965 the authors decided to prepare and publish a Reference Manual which would contain a complete description of CPL as it then stood. The first draft was prepared by J.N. Buxton after a series of meetings at which the authors discussed the points at issue. A second draft was then prepared by Buxton, Hartley, Richards, Coulouris and Park, each one writing one or more sections. These were then revised, edited and partly rewritten by Strachey.

This is a loose-leaf notebook containing the typescript of portions of Draft I and the whole of Draft II. It is heavily annotated by Strachey with some amendments by Park. This is the copy used by Strachey at M.I.T. when editing and revising the Manual. The various sections of the draft are dated August-September 1965.

Related Material:

See MS. Eng. misc. b. 269/C.149 below.



'CPL Reference Manual. Notes'
Date: 1965-1966
Shelfmark: MS. Eng. misc. b. 269/C.149
Former ref: CSAC 71.1.80/C.149

Scope and Content:

Large loose-leaf notebook containing correspondence and notes exchanged between Strachey at M.I.T. and Park at Cambridge (acting on behalf of the CPL authors) regarding revision and editing of the Reference Manual. Over the course of 7 months (the correspondence dates from 28 September 1965 to 16 March 1966) Strachey sent lengthy comments and notes on the draft (MS. Eng. misc. b. 269/C.148 above) which were then discussed by the authors in England and their decision communicated back to Strachey for further revision and editing. Thus a very full record is preserved of the hundreds of decisions (both major and minor) taken by the authors in designing the new language.

The notebook also contains some correspondence exchanged between Strachey and Buxton, mostly concerned with the technical details of publication but also discussing the possibility that M.I.T. might adopt CPL as its chief teaching language for undergraduate courses.

The notes appear in every form, manuscript, typescript, photocopied, stencilled. Most of Strachey's notes bear later manuscript annotations recording answers and decisions by the Cambridge and London groups.

The notebook also demonstrates the difficulty in communicating over a long distance on the numerous points in question and the problems raised by the logistics of typing, proofreading, time lags, etc.


'CPL Reference Manual. General'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 269/C.150
Former ref: CSAC 71.1.80/C.150

Scope and Content:

One folder of material assembled by Strachey for use in editing and revision of reference manual while he was at M.I.T.

Typescript of table of contents with notes by Strachey of progress of each section (draft, typescript, editing, completed, assembled).

Comments by M. Richards and D. Park.

Miscellaneous manuscript notes (none dated or titled) by Strachey while formulating revisions.

'Some Linguistic Problems in the Choice of Mathematical Terminology'.

One-page note by Strachey circulated at M.I.T. asking for suggestions for new words to describe 'a function with no arguments' and 'a function of a variable number of arguments'.

Photocopies of manuscript drafts (not in Strachey's hand) of Appendix I - Preprocessor, Appendix 2 - Basic symbols in canonical CPL and publication synonyms, Appendix 3 - Standard functions, routines, data items, etc., Appendix 4 - Alternative character sets.


'CPL Reference Manual. Draft 2, Copy 1'
Date: 1965-1966
Shelfmark: MS. Eng. misc. b. 269/C.151
Former ref: CSAC 71.1.80/C.151

Scope and Content:

Draft as revised and edited by Strachey. Most of the sections are dated November-December 1965 or January-February 1966; these are photocopies of editions produced on the CTSS system at M.I.T. and sent by Strachey to Park on 10 and 28 February and 2 and 16 March. (See MS. Eng. misc. b. 269/C.149 for correspondence relating to the production of this draft.)

The table of contents on page 1 of the draft bears manuscript annotations by Strachey to show which sections were missing or needing revision. At a meeting held in Oxford on 24 June 1966 it was agreed 'to make the present second draft of the reference manual available to a restricted audience as a research report from the two Universities'.

It was also agreed that J. Buxton would contribute section 2, D. Park section 9.3 and M. Richards Appendix 1. The typescripts of these sections (dated July 1966) are included in this draft which, annotated and amended by Strachey throughout, became the major part of the 'Working Papers' (MS. Eng. misc. b. 270/C.153).


'CPL Elementary Programming Manual Edition II (Cambridge)', by J. Buxton, J.C. Gray and D. Park, January 1966
Date: 1966
Shelfmark: MS. Eng. misc. b. 269/C.152
Former ref: CSAC 71.1.80/C.152

Scope and Content:

This was Strachey's annotated and revised copy. This eventually became the first part of the Working Papers (MS. Eng. misc. b. 270/C.153). The manuscript amendments and annotations by Strachey were transferred to the version included in the Working Papers so that the Programming Manual would not have to be re-typed.

Inserted at the back of the Manual is a 3-page 'Supplement to the CPLElementary Programming Manual' by L.J.D. McIntyre, 9 May 1966, which describes the facilities available in the trial CPL system in use at Cambridge.

Included here is a 1-page note by M.V. Wilkes, 23 May 1966, 'Introduction of CPL for limited experimental use', notifying members of Mathematical Laboratory, Cambridge, that experimental CPL system was available.


'Technical Report. CPL Working Papers'
Date: 1966
Shelfmark: MS. Eng. misc. b. 270/C.153
Former ref: CSAC 71.1.80/C.153

Scope and Content:

The Working Papers were issued in July 1966 following a meeting of the CPL authors in Oxford on 24 June. They consisted of 2 parts: 1. The second edition of the Elementary Programming Manual and 2. An unfinished Reference Manual. The concluding paragraphs of the minutes of the 24 June 1966 meeting (see MS. Eng. misc. b. 270/C.156) state: 'The circulation of the CPL Technical Report will conclude the phase of effort on CPL which has continued for the past four years, and at this stage most authors will probably wish to discontinue their efforts in a formal way... CPL of course needs major further work, particularly on data structures and program segmentation. C.S. (Strachey) and D.P. (Park) propose to study this at Oxford, and M.R. (Richards) may implement it at M.I.T.'

Strachey's preface to the Working Papers, which gives a useful account of the history of CPL and its documentation, has been heavily drawn upon in preparing the entries for this section of the catalogue.

Related Material:

See MS. Eng. misc. b. 269/C.151, MS. Eng. misc. b. 269/C.152, and MS. Eng. misc. b. 272/C.187.



'CPL Papers. Manuscript Drafts'
Date: Jul 1966
Shelfmark: MS. Eng. misc. b. 270/C.154
Former ref: CSAC 71.1.80/C.154

Scope and Content:

Manuscript and typescript drafts by Strachey of various sections of the 'Working Papers' (MS. Eng. misc. b. 270/C.153)

Includes:

  • Preface (4 pages)
  • Editor's Apologies (3 pages)
  • List of Changes Foreseen in CPL (3 pages)
  • Table of Contents, Sections 1 and 2 (2 pages)
  • Brief correspondence with colleagues regarding assembling and publication of CPL manuals.

'CPL Language Papers'
Date: 1963-1965
Shelfmark: MS. Eng. misc. b. 270/C.155
Former ref: CSAC 71.1.80/C.155

Scope and Content:

One folder containing the sequence of 35 papers (plus 3 unnumbered papers at the beginning of the series, and 1 paper between 23 and 24) issued by the CPL team from October 1963-January 1965. These represent a record of the proposals and decisions regarding the language of CPL as well as a record of meetings of the team, held in London and Cambridge, with J. Buxton acting as secretary. All are typescript (many are stencilled copies prepared for distribution to all members of the team) unless indicated otherwise. Many bear annotations by Strachey, some very extensive. They are presented below in numerical order, which corresponds to the brief index Strachey compiled and kept at the beginning of the folder. The descriptive format is name of paper, number of pages, author, date.

'LISTS etc. (Part 1)', 4 pages, Strachey, 10 October 1963.

'LISTS etc. (Part 2)', 9 pages, Strachey, 14 October 1963.

'Data Structure', 9 pages, manuscript, Strachey, 4 October 1963.

1. Minutes of CPL Meeting, 17 October 1963, 3 pages, Buxton (annotated by Strachey), 18 October 1963.

2. A Note on Left-Hand Values, 2 pages, typescript with annotations and 1 page typescript incorporating revisions, Strachey, 13 August 1963, reissued 18 October 1963.

3. 'A Proposal for Lists', 2 pages, Nixon, 31 October 1963.

4. 'Definitions and Allied Topics', 3 pages, Hartley, 28 October 1963.

5. 'Revised Syntax of Definitions, etc.', 2 pages, Hartley, 27 October 1963.

6. Minutes of CPL Meeting, 5 November 1963, 2 pages, Buxton, 13 November 1963.

7. 'Words and Strings', 2 pages, Needham, 14 November 1963.

8. 'for commands', 2 pages, Barron, 14 November 1963.

9. 'A Note on Strings', 2 pages, Buxton, 18 November 1963.

10. Minutes of CPL Meeting, 19 November 1963, 2 pages, Buxton, 2 December 1963.

11. Minutes of CPL Meeting, 8 January 1964, 1 page, Buxton, 9 January 1964.

12. 'Notes on where and function definitions, etc.', 10 pages manuscript, 5 pages typescript, Strachey, 24 January 1964.

13. 'Pre-processor Rules and Syntax', 4 pages, Hartley, 2 February 1964.

14. Minutes of CPL meeting, 29 January 1964, 2 pages, Buxton, 7 February 1964.

15. Minutes of CPL meeting, 18 February 1964, 3 pages, Buxton, 2 March 1964. Strachey queries, 'CPL Paper No. 15?'.

16. 'Left Hand Functions, etc.', 4 pages manuscript, 3 pages typescript, Strachey, n.d.

17. 'CPL Expressions', 2 pages, J.B.H., 20 February 1964.

18. Minutes of CPL meeting, 25 March 1964, 1 page Buxton, 15 April 1964.

19. Untitled paper on fn and rt variables, 1 page, Buxton, 21 April 1964.

20. Minutes of CPL meeting, 30 April 1964, 2 pages, Buxton, 4 May 1964.

21. 'The Pre-processor', 2 pages, Richards, 8 May 1964.

22. 'The Apagesication of Left Hand Functions', 2 pages, Strachey, 6 May 1964.

23. Minutes of CPL meeting, 25 May 1964, 1 page, Buxton, 28 May 1964.

'London CPL I/O and Magnetic Tape Facilities', 3 pages, Buxton, 22 May 1964. Not numbered but retained in the sequence by Strachey.

24. Minutes of CPL meeting, 18 June 1964, 1 page, Buxton, 23 June 1964.

25. 'A-lists', 4 pages manuscript, 4 pages annotated typescript, 2 pages duplicated typescript incorporating revisions, Strachey, 10 September 1964.

26. 'Types of Function Variables', 5 pages, Strachey, 11 September 1964.

27. Minutes of CPL meeting, 3 November 1964, 2 pages, Buxton, 17 November 1964.

28. 'Boolean Expressions', 2 pages manuscript, 1 page typescript, Strachey, 17 November 1964.

29. 'Comment: a Proposal', 1 page, Park, 7 December 1964.

30. Minutes of CPL meeting, 5 January 1965, 1 page, Buxton, 20 January 1965.

31. Minutes of CPL meeting, 2 February 1965, 1 page, Buxton, 5 February 1965.

32. 'Files and I/O', 3 pages, Buxton, 22 February 1965.

33. Minutes of CPL meeting, 30 March 1965, 2 pages, Buxton, April 1965.

34. Minutes of CPL meeting, 6 May 1965, 2 pages, Buxton, 21 June 1965.

35. Minutes of CPL meeting, 29 June 1965, 1 page, Buxton, 7 July 1965.


'CPL Meetings, Agenda, Minutes, etc.
Date: Jun-Nov 1966
Shelfmark: MS. Eng. misc. b. 270/C.156
Former ref: CSAC 71.1.80/C.156

Scope and Content:

Minutes for the meetings of:

  • 24 June 1966 at Oxford where it was agreed to publish the Working Papers.
  • 1 September 1966.
  • 6 October 1966 where Strachey's draft proposal on compound data structures was circulated (see MS. Eng. misc. b. 271/C.179).
  • 3 November 1966 (includes copy of Agenda).

CPL1
Date: Apr 1965
Shelfmark: MS. Eng. misc. b. 270/C.157
Former ref: CSAC 71.1.80/C.157

Scope and Content:

Two Papers by G.F. Coulouris on CPL 1.

C.5.1.b   Working papers


Early working notes on CPL, with reference to ALGOL
Date: c.1962
Shelfmark: MS. Eng. misc. b. 270/C.158
Former ref: CSAC 71.1.80/C.158

Scope and Content:

Six-page note on 'Labels', using the early designation 'result of' instead of the later 'value of'. (All in Strachey's hand.)


Preliminary work for CPL
Date: 1962
Shelfmark: MS. Eng. misc. b. 270/C.159
Former ref: CSAC 71.1.80/C.159

Scope and Content:

Manuscript notes dated 5 July and 9 October 1962.


'CPL Object Program. TOP 1 and 2'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 270/C.160
Former ref: CSAC 71.1.80/C.160

Scope and Content:

Manuscript notes and narratives on 'Two main schemes', 'Pointers, B-lines, etc.', 'Formats, etc.'.


'TOP 1 and TOP 2'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 270/C.161
Former ref: CSAC 71.1.80/C.161

Scope and Content:

Folder of notes for preliminary planning of implementation of CPL on Titan. Several sets of notes: 'Scheme 1. Open', 'Scheme 2. Closed. TOP 2 CPL Titan Object Program. Allocation of B-lines, Storage, Parameters, Monitor Numbers, etc.', 'Test TOP 1/1'. n.d. but probably 1962.


'Compound Data Structures'
Date: 1962-1963
Shelfmark: MS. Eng. misc. b. 270/C.162
Former ref: CSAC 71.1.80/C.162

Scope and Content:

Miscellaneous notes and narratives on lists (December 1962-January 1963), constructors, etc.


'Co-routines'
Date: n.d
Shelfmark: MS. Eng. misc. b. 270/C.163
Former ref: CSAC 71.1.80/C.163

Scope and Content:

Miscellaneous notes and routines (not all in Strachey's hand).


'Dead CPL papers'
Date: 1962-1964
Shelfmark: MS. Eng. misc. b. 270/C.164
Former ref: CSAC 71.1.80/C.164

Scope and Content:

One folder of typescripts on points which became outdated or were superseded by later papers and which were kept together in this folder by Strachey. Includes

  • 'Operating System for Titan', 3 pages, by D.W. Barron, 16 July 1962.
  • 'Titan Operating System - User's View', 2 pages, by Barron, annotated by Strachey, n.d.
  • 'Preliminary Description of the Titan System Program', 5 pages, probably by Barron, n.d.
  • 'Titan System Program: Use of Magnetic Tapes and Core Storage', 2 pages, probably by Barron, n.d.
  • 'Towards the Definition of a Programming Language for Titan. The outlines of the programming language for Titan are now beginning to emerge. The language to be called CPL, is to be based on ALGOL 60. These notes indicate the lines along which ALGOL 60 will be changed and extended', 3 pages, n.d.
  • 'Note on Name or Address Variables', 3-page photocopy of manuscript draft by Strachey, 12 October 1962.
  • 'Note on Documentation', 1-page typescript, 19 October 1962.
  • Typescripts by various members of the CPL team (Nixon, Buxton, Hartley) regarding definition of CPL, November 1962.
  • 'CPL Syntax -3/3/63', with manuscript note by Strachey 'Out of Date'.
  • 'Implementation of CPL Declarations', 2-page typescript, J.H.M., 18 October 1963.
  • 'Titan CPL Compiler. Basic Operations Macros', 6-page duplicated typescript by M. Richards and D.W. Barron, 6 January 1964.

'CPL Compiler - Syntax. Diagram. Transformation to AE'
Date: 1963
Shelfmark: MS. Eng. misc. b. 271/C.165
Former ref: CSAC 71.1.80/C.165

Scope and Content:

Folder of notes and narratives, mostly 1963, all by Strachey unless otherwise indicated. Includes

  • 'CPL Object Program on Titan', 17-page manuscript draft, n.d.
  • 'Various forms of factorials', 6-page manuscript notes, n.d.
  • 'DIAGRAM. Functional Form of "Diagram" and form Analysis', 4-page manuscript notes, n.d.
  • 'Actual output of DIAGRAM', 2-page manuscript notes, n.d.
  • 'Output of DIAGRAM', 1 page typescript draft by J.H. Matthewman, 11 November 1963 responding to 3-page manuscript draft by M. Richards of the same title. Both drafts sent to Strachey for his information.
  • 'Method of preparing CPL syntax', by J.H. Matthewman, 17 October 1963, 2-page typescript.
  • 'Use of the syntax reading program', by J.H. Matthewman, 8 November 1963.
  • 'CPL Syntax' (all are typescript)
    • 7 May 1963, 3 pages, with annotations by Strachey.
    • 31 May 1963, 2 pages (titled 'CPL Syntax with practical expression analysis').
    • 6 August 1963, 5 pages, with 1 replacement sheet.
    • 19 September 1963, 5 pages
  • 'Irons Translator', 3-page photocopy of manuscript (not in Strachey's hand), n.d.
  • 'Applicative Expression Form of Analysis Tree', 4-page manuscript by Strachey, 2 July 1963 (CW/6).
  • 'Reduction to Applicative Expressions', 8-page photocopy of manuscript draft (not in Strachey's hand), with annotations by Strachey (CW/7).
  • Several loose pages of miscellaneous notes on expression analysis routine, syntax as written, etc. (typescript and manuscript)

'CPL Compiler - Canonical Variables'
Date: 1963
Shelfmark: MS. Eng. misc. b. 271/C.166
Former ref: CSAC 71.1.80/C.166

Scope and Content:

Folder of notes and narratives, mainly June-August 1963. Includes:

  • 'Canonicalization of Variables', 5-page manuscript and 4-page typescript draft by Strachey, 5 July 1963.
  • 'Canonicalization of Variables', typescript and manuscript drafts by Strachey and JBH, 6 August 1963.
  • Note on 'space allocation for CV fns.' and 'FULs', 2 pages, 1 July 1963.
  • 'Examples of CV reduction', 9-page manuscript with 'Condensation', 3-page manuscript
  • 'Translation Environment', set of manuscript notes (pages not numbered).
  • 'Formats for CV functions', 2 manuscript pages, 29 June 1963.
  • Miscellaneous manuscript notes (some dated 23 and 29 June 1963).

'CPL Syntax'
Date: 1963
Shelfmark: MS. Eng. misc. b. 271/C.167
Former ref: CSAC 71.1.80/C.167

Scope and Content:

Miscellaneous notes and routines, Includes

  • 'CPL Syntax - 14/3/63'. Description of Preprocessor Categories. Expressions, Commands, Forms, Definitions.
  • 'Syntax of Expressions', 4-page manuscript
  • Miscellaneous pages of manuscript notes on Transformations, Commands, Command forms of operators. Definition forming operators. Preprocessor rules, etc.

'CPL Compiler - Classification. Types. Transfer Function'
Date: 1963
Shelfmark: MS. Eng. misc. b. 271/C.168
Former ref: CSAC 71.1.80/C.168

Scope and Content:

Miscellaneous notes and narratives, some dated March 1963. Includes

  • 'Evaluation of Expressions. B-Reduction', 3-page manuscript
  • 'CPL Operators', 3-page manuscript (not in Strachey's hand).
  • 'Translation of AE's (B-reduction ?)', 3-page manuscript, 19 March 1963.
  • 'CPL Basic Functions', 1-page typescript.
  • Notes on types of operators, 5-page manuscript, 25 March 1963.
  • Miscellaneous manuscript notes, not labelled or dated.

'CPL Compiler - Syntax Condensation'
Date: 1963-1965
Shelfmark: MS. Eng. misc. b. 271/C.169
Former ref: CSAC 71.1.80/C.169

Scope and Content:

Folder of miscellaneous notes and narratives on the implementation of CPL. Includes:

  • Miscellaneous manuscript notes by Strachey, some dated May 1963.
  • 'Condensation Structures and Functions', 15-page manuscript draft by L.J.D. McIntyre, 16 October 1964.
  • Typescript of CPL Syntax, 8 February 1965.

'CPL Programming Examples'
Date: 1963
Shelfmark: MS. Eng. misc. b. 271/C.170
Former ref: CSAC 71.1.80/C.170

Scope and Content:

Miscellaneous drafts and narratives, mainly by Strachey:

  • 'Examples of Compound Data Structure (CDS) Programs'
  • 'Tree Sort'
  • 'Examples of CPL [word illegible] and Compiler Language', May 1963.
  • 'Target Strategy Bracketing Program'
  • 'University Mathematical Laboratory, Cambridge. CPL Programming Examples', July 1963
  • 'Permutation in Lexographical Order'
  • 'Preferred type: complex'
  • 'Fast train'

Miscellaneous sets of unlabelled and undated notes and routines, all by Strachey.


'CPL. Formal Semantics'
Date: 1963-1965
Shelfmark: MS. Eng. misc. b. 271/C.171
Former ref: CSAC 71.1.80/C.171

Scope and Content:

Miscellaneous notes and narratives illustrating Strachey's increasing interest in the semantic rather than the syntactic uses of CPL. Includes:

  • 'Closures, Functions, etc.', 3-page manuscript, 18 January 1963.
  • 'Semantics of where clause', 2-page manuscript, 30 January 1963.
  • Two-page manuscript notes on for-loop, 14 March 1963.
  • 'Towards a Formal Semantics', 13-page manuscript by Strachey, n.d.
  • 'Towards a Formal Semantics', 5-page typescript (probably by R.M. Burstall), n.d.
  • 'Basic Ideas', 4-page manuscript by Burstall, 23 November 1964.
  • 'Progress? with CPL semantics', 3-page typescript, 14 December 1964, with several other pages attached ('Structure Definition of Applicative Structures and Command Structures', 'Functions', 'Translation') that were annotated by Strachey and re-typed on 19 December 1964.
  • 'Some Investigation into the Formal Semantics of CPL', by R.M. Burstall, January 1965. Typescript with manuscript annotations.
    • Chapter I Dealing with Functions and Routines by the techniques of C. Strachey
    • Chapter II First attempts at formalising the translation (page 1 only)
    • Chapter III A different approach to CPL semantics, and miscellaneous loose pages of definitions.
  • Miscellaneous loose pages of notes and narratives by Strachey.

'CPL Subsets'
Date: Oct-Nov 1964
Shelfmark: MS. Eng. misc. b. 271/C.172
Former ref: CSAC 71.1.80/C.172

Scope and Content:

Folder of notes and drafts. Includes:

  • 'CPL Subset. Proposed restrictions', 2-page typescript by R.M. Burstall, 29 October 1964
  • 'CPL Subset. Proposed semantic restrictions', 2-page typescript with manuscript annotations by Strachey, 23 November 1964
  • 'Baby (Basic) CPL', 1-page manuscript notes, n.d. This may be the earliest reference to BCPL, with hesitation about its name

'CPL Object Code - Execution System'
Date: Feb-Mar 1965
Shelfmark: MS. Eng. misc. b. 271/C.173
Former ref: CSAC 71.1.80/C.173

Scope and Content:

Miscellaneous notes and narratives. Includes:

  • 'Proposed Scheme for Segmenting CI's and SSR's, 3-page duplicated typescript by Strachey, 18 February 1965.
  • 'CPL Compiler Executive System. Tape Titles', 2-page duplicated typescript by Strachey with annotations, 5 March 1965.
  • Various duplicated sheets on 'Teletype Eight-Level Code', 'PDP-7 Instruction Summary', 'Maglayout 1'.
  • '"Display" etc.', 2-page typescript (CW 4)
  • Manuscript notes on 'Altering a single CI or SSR', 'Construction of Executive System (TOP 2)', 'Steps in setting up an object program', 'Setup and Op. System for Object Code' and various untitled sheets of notes, n.d.

'CPL Pending - (Language and General)'
Date: 1962, 1965
Shelfmark: MS. Eng. misc. b. 271/C.174
Former ref: CSAC 71.1.80/C.174

Scope and Content:

Miscellaneous notes and narratives. Includes:

  • Manuscript notes on 'Abstract Objects, Written Expressions, Machine Representations', 28 November 1962.
  • Notes and queries 'for next CPL Language Meeting', n.d.
  • Three-page manuscript draft of letter to editor, Communications of the A.C.M. about 'the difficulty of inventing and describing a major programming language', in which Strachey discusses the problems encountered by the CPL team.

'CPL Programs - Linear Algebra'
Date: c.1966
Shelfmark: MS. Eng. misc. b. 271/C.175
Former ref: CSAC 71.1.80/C.175

Scope and Content:

Miscellaneous manuscript and typescript examples using CPL.


'CPL Syntax'
Date: c.1966
Shelfmark: MS. Eng. misc. b. 271/C.176
Former ref: CSAC 71.1.80/C.176

Scope and Content:

Miscellaneous notes and narratives headed 'Examples of Scope Rules', 'Juxtaposition and implied multiplications', 'CPL Syntactic Questions', 'Syntax of Nodes and Elements' and 'Syntax of Pointers'.


'CPL Reference Manual - Working Papers'
Date: 1966
Shelfmark: MS. Eng. misc. b. 271/C.177
Former ref: CSAC 71.1.80/C.177

Scope and Content:

Material arising from the publication of 'CPL Working Papers' (MS. Eng. misc. b. 270/C.153). Includes:

  • Typescripts of several papers by R.M. Burstall, 18 August 1966:
    • 'Types and Structures', 4 pages
    • 'Nodes and Elements', 2 pages
    • 'Extension to Structure Definitions', 1 page
  • Duplicated typescript of 'The Switch Command and Lookup Expression', 2 pages, by M. Richards, 6 October 1966.
  • Typescript of 'Streams' and 'Segmentation'.
  • Miscellaneous notes by Strachey.

'CPL Streams'
Date: 1966
Shelfmark: MS. Eng. misc. b. 271/C.178
Former ref: CSAC 71.1.80/C.178

Scope and Content:

CPL Memorandum OX1 from Strachey and Park, 3 December 1966, on TrS[In] function.

CPL Memorandum OX2 from Park, 7 December 1966, of 'Comments on CS's Streams'.

Manuscript notes by Park and Strachey on streams.


'Data Structures'
Date: Oct-Nov 1966
Shelfmark: MS. Eng. misc. b. 271/C.179
Former ref: CSAC 71.1.80/C.179

Scope and Content:

Miscellaneous notes and narratives on compound data structures, arising from publication of the Working Papers. Includes:

  • One-page manuscript notes of agenda for CPL meeting, 3 November 1966 (see also MS. Eng. misc. b. 270/C.156 for minutes of that meeting).
  • Manuscript notes and typescripts on 'Pointers' (one typescript is dated 31 October 1966).
  • 'Compound Data Structures', 15-page manuscript draft proposal by Strachey (probably this is the draft that is referred to in minutes of CPL meeting 6 October 1966, see MS. Eng. misc. b. 270/C.156).
  • Five-page typescript version of above, Serial no. OX3.
  • 'Examples of Compound Data Structures (CDS) Programs', 6-page manuscript (includes notes on examples).
  • 'Examples of Structures Using Nodes', 3-page manuscript.
  • 'Juxtaposition and implied multiplication', 1 page.

'Miscellaneous Tech. Chiefly Compound Data Structures'
Date: 1965-1966
Shelfmark: MS. Eng. misc. b. 271/C.180
Former ref: CSAC 71.1.80/C.180

Scope and Content:

One folder of miscellaneous manuscript working notes and papers; few are labelled or dated. They are left in the order kept by Strachey and include list of 'Words which are not well understood', 'Some problems in dynamic storage allocation' by M.D. Mcllroy, 20 February 1968, 'Compound Structure Type Syntax' and 'Compound Structure Expression Definition'.

Notes on streams, nodes, variables, structure definition. Also includes notes for CPL language meeting, n.d. and a list of 'Basic Concepts in CPL (in Programming Languages'), n.d.


Miscellaneous manuscript notes and drafts on CPL
Date: Jun-Jul 1968
Shelfmark: MS. Eng. misc. b. 271/C.181
Former ref: CSAC 71.1.80/C.181

'Character Codes'
Date: Sep 1967-Feb 1968
Shelfmark: MS. Eng. misc. b. 271/C.182
Former ref: CSAC 71.1.80/C.182

Scope and Content:

Miscellaneous notes and tables, mainly related to attempts to use CPL on Atlas and KDF 9 machines.


'Character set questions'
Date: Dec 1967
Shelfmark: MS. Eng. misc. b. 271/C.183
Former ref: CSAC 71.1.80/C.183

Scope and Content:

Folder of miscellaneous notes and printouts on 'Character set questions'.


'CPL. Notes and revisions'
Date: 1966-1968
Shelfmark: MS. Eng. misc. b. 272/C.184
Former ref: CSAC 71.1.80/C.184

Scope and Content:

Folder of miscellaneous notes and narratives. Includes.

  • 'CPL Working Papers. Suggestions for Amendments and Extensions of the Language', 3-page manuscript of introduction, lists of amendments, suggestions, and points for discussion.
  • List of 'Work to Do' (on CPL and BCPL), 12 April 1968, on the reference manual, formal semantics, BCPL, machine design, etc.
  • 'Programmers Parametrically Polymorphic Functions'.
  • 'Proposed Revision of CPL Expression Syntax'.
  • 'Syntax and Grouping' (2 November 1966).
  • Duplicated set of notes for the revision of CPL, no author or date. Heavily annotated by Strachey.
  • Miscellaneous loose pages of notes.

C.5.1.c   BCPL


Scope and Content:

The material in this section includes correspondence on CPL and BCPL (MS. Eng. misc. b. 272/C.185-MS. Eng. misc. b. 272/C.188), copies of the BCPL Reference Manual (MS. Eng. misc. b. 272/C.189) and Compiler (MS. Eng. misc. b. 272/C.190), and notes and routines by Strachey and the Programming Research Group 1967-1973 for BCPL (MS. Eng. misc. b. 272/C.191-MS. Eng. misc. b. 272/C.196).

The initials BCPL are usually understood to denote Basic Computer Programming Language, though see MS. Eng. misc. b. 271/C.172 for Strachey's alternative expansion Baby CPL.

BCPL was devised by Martin Richards at M.I.T. as an implementation subset of CPL. In a letter to L. Goldthorpe, 3 November 1967 (MS. Eng. misc. b. 272/C.186) Strachey described BCPL as looking 'rather like CPL but is designed to be easy to compile and to make it possible to produce fairly good code'. The original plan had been for Richards to write a CPL compiler in BCPL, but he later decided to concentrate his efforts on improving the BCPL compiler (see MS. Eng. misc. b. 272/C.187). In Oxford, Strachey and the Programming Research Group developed an operating system written entirely in BCPL for their Modular I computer which was delivered in March 1969.

Because BCPL was developed from CPL, it is not possible to make a strict distinction between work on the two languages. The folders below are mainly concerned with BCPL and usually bear Strachey's headings to that effect, but there are numerous references to CPL, and it will have been observed that some folders in the preceding section on CPL contain papers or material on BCPL. Similarly, it has been thought best to leave material on BCPL in the 'Cambridge' period of Strachey's career although the work on BCPL was done after his move to Oxford. For additional material on the Mod. I and KDF9 computers, as well as other projects of the Programming Research Group, see MS. Eng. misc. b. 273/C.208-MS. Eng. misc. b. 275/C.223.


Correspondence on CPL and BCPL
Date: 1966
Shelfmark: MS. Eng. misc. b. 272/C.185
Former ref: CSAC 71.1.80/C.185

Scope and Content:

Includes a letter to R.F. Churchhouse, 31 May, enclosing a 1-page note on 'CPL Compiler', and a letter from F.G. Duncan, 10 December, with comments on CPL Working Papers.

Arrangement: Chronological

Correspondence on CPL and BCPL
Date: 1967
Shelfmark: MS. Eng. misc. b. 272/C.186
Former ref: CSAC 71.1.80/C.186

Scope and Content:

Includes a letter from P.J. Landin, 22 January, on data structures, correspondence with C.S.L. Atkinson regarding use of BCPL for Code Generator for the ICT 1900, carbons of Strachey's letters to accompany copies of his Copenhagen lectures, 'Fundamental Concepts in Programming Languages' (see MS. Eng. misc. b. 292/F.40-MS. Eng. misc. b. 292/F.54), and a letter to L. Goldthorpe, 3 November, describing plans for implementation of CPL and BCPL.

Arrangement: Chronological

Correspondence on CPL and BCPL
Date: 1968
Shelfmark: MS. Eng. misc. b. 272/C.187
Former ref: CSAC 71.1.80/C.187

Scope and Content:

Three-page typescript letter, 4 April 1968, from M. Richards at M.I.T., giving reasons for his decision not to write a CPL compiler in BCPL, but rather to improve the 'efficiency and machine independence' of the BCPL compiler. 'I realized that the reasons for using CPLOCODE as the intermediate object code are not valid if BCPL is implemented for its own sake. I have thus chosen to specify and implement an alternative object code which is specifically designed for BCPL'. A printout of an example of its use was enclosed with the letter and remains in the folder. Also included is a photocopy of 'Compilation of Demo BCPL. Not debugged', 5 May 1968, sent by Richards and annotated by Strachey.

The letter also describes the arguments employed by Richards in a paper he was writing on 'rationalizing my views of types'.

Arrangement: Chronological

Correspondence on CPL and BCPL
Date: 1968-1970
Shelfmark: MS. Eng. misc. b. 272/C.188
Former ref: CSAC 71.1.80/C.188

Scope and Content:

Includes a letter from A.G. Frazer, 6 February 1968, on data structures, brief correspondence regarding the Modular One operating system, 1969, and on BCPL operating systems OS1 and OS2, 1970.

Arrangement: Chronological

'BCPL Reference Manual. Project MAC'
Date: 1967
Shelfmark: MS. Eng. misc. b. 272/C.189
Former ref: CSAC 71.1.80/C.189

Scope and Content:

'BCPL Reference Manual. Project MAC', by M. Richards, 21 July 1967. 27-page stencilled copy.

Includes a copy of 'CPLOCODE Language' by M. Richards, 12 March 1967, 8 pages.


'BCPL Compiler', by M. Richards
Date: 1967
Shelfmark: MS. Eng. misc. b. 272/C.190
Former ref: CSAC 71.1.80/C.190

Scope and Content:

'BCPL Compiler', by M. Richards

Sixty pages of computer printout annotated by Strachey. The BCPL compiler was itself written in BCPL and was designed to be easily transferable to other machines.


'BCPL Line Imager. Atlas → Internal.'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 272/C.191
Former ref: CSAC 71.1.80/C.191

Scope and Content:

Notes and routines implementing and using BCPL, by Strachey and the Programming Research Group.

Calculations and tables on 'Special characters', 'Internal from Atlas'.


'BCPL Object Code. Investigations for Improvement'
Date: 1967
Shelfmark: MS. Eng. misc. b. 272/C.192
Former ref: CSAC 71.1.80/C.192

Scope and Content:

Notes and routines implementing and using BCPL, by Strachey and the Programming Research Group.

Folder of manuscript. notes, n.d., and 2 printouts, (1967).

Includes:

  • Printout of User Code Assembly System, 28 November and 1 December 1967, heavily annotated by Strachey.
  • 'Translation of for-loops', manuscript notes.
  • 'Collapse entry', manuscript notes.
  • Printout 'Tree Ocode List Run', heavily annotated by Strachey, n.d. (related to work on 'Internal from Atlas' and 'Special characters' above).
  • Miscellaneous manuscript notes and printouts.

Folder of miscellaneous notes
Date: n.d.
Shelfmark: MS. Eng. misc. b. 272/C.193
Former ref: CSAC 71.1.80/C.193

Scope and Content:

Notes and routines implementing and using BCPL, by Strachey and the Programming Research Group.

Includes:

  • 'Abstract Syntax of BCPL Declarations', 10-page manuscript.
  • 'BCPL Compile-time Reports', 4-page stencilled typescript.
  • 'BCPL Queries', 1-page manuscript.
  • Miscellaneous manuscript notes labelled 'BCPL special fns', 'Notation', 'Semantics of BCPL', 'Types in BCPL', 'Useful Functions', and many sets of notes which are not labelled.

'BCPL/CPL Preprocessor'
Date: 1968
Shelfmark: MS. Eng. misc. b. 272/C.194
Former ref: CSAC 71.1.80/C.194

Scope and Content:

Folder of manuscript notes, narratives and routines, some bearing various dates. Includes:

  • 'BCPL Preprocessor', 3-page manuscript.
  • 'Recognizers for Lexical Analysis', 11-page manuscript.
  • 'Main Outlines of Preprocessor', 3-page manuscript, 21 May 1968.
  • 'Notes on existing BCPL Compiler', 1-page. manuscript, 19 May 1968.
  • 'Note on Numbers and Constants in BCPL Compiler'
  • One-page manuscript, 20 May 1968.
  • Notes on streams, 7-page manuscript, 21-22 May 1968.
  • 'Underlined Words', 10-page manuscript.
  • 'BCPL Canonical Symbols', 8-page manuscript.
  • Notes on character sets.
  • Three sets of manuscript notes, not titled or dated.

'BCPL Misc. Notes'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 272/C.195
Former ref: CSAC 71.1.80/C.195

Scope and Content:

Folder of notes, including:

  • 'Character Sets etc. in BCPL compiler', 3-page manuscript.
  • 'Optimisation of OCode', 1-page manuscript.
  • 'The Applicative Expression (AE) syntax for BCPL', 2-page typescript.
  • 'BCPL Formal Semantics' by P. Wallis, 6 December 1973, 33-page photocopy of typescript and manuscript draft.

Folder of miscellaneous undated manuscript notes
Date: 1973
Shelfmark: MS. Eng. misc. b. 272/C.196
Former ref: CSAC 71.1.80/C.196

Scope and Content:

Folder of miscellaneous undated manuscript. notes, on streams, recursive and non-recursive functions, Tree Streams (by D. Park), etc.

Some of the material, including printout dated 1973, relates to an 'Algol Compiler in BCPL' which was an uncompleted project of the Programming Research Group.

C.5.1.d   General Purpose Macrogenerator (GPM)


Scope and Content:

In an autobiographical note written in 1971, Strachey described this as follows:

An interesting byproduct of the work on CPL and its compiler was the General Purpose Macrogenerator which is in effect a simple but very general string processor. This program has now been implemented in almost every country in which computing is a research subject - I certainly know of implementations in Australia, Japan, Poland, Norway, Denmark, Germany, France, Italy, Holland as well as several in England and America. It gives an elegant example of the use of a stack and shows the power of functional composition to construct complicated operations from simple primitives. It is not, however, of any very deep theoretical interest and I now regard it as a rather beguiling time-waster.
Related Material:

See also MS. Eng. misc. b. 290/F.32.



'A General Purpose Macrogenerator'
Date: 1965
Shelfmark: MS. Eng. misc. b. 273/C.197
Former ref: CSAC 71.1.80/C.197

Scope and Content:

'A General Purpose Macrogenerator'. University Mathematical Laboratory Cambridge Technical Memorandum No.65/1, March 1965.

Duplicated typescript, 40 pages, with manuscript corrections and errata, June 1965.

(The paper was also published in the Computer Journal, October 1965, see MS. Eng. misc. b. 290/F.32.)


'Macrogenerator Mk. II'
Date: 15 Jan 1964
Shelfmark: MS. Eng. misc. b. 273/C.198
Former ref: CSAC 71.1.80/C.198

Scope and Content:

Two-page typescript routines.


'Macrogenerator Mk. III'
Date: Jan, Feb, Apr 1964
Shelfmark: MS. Eng. misc. b. 273/C.199
Former ref: CSAC 71.1.80/C.199

Scope and Content:

Bundles (some extensive) and loose pages of routines, test printouts, comments on results, etc., most headed 'CSMG3' [C. Strachey Macrogenerator Mark III] and many worked on Titan Program sheets.

Only a few sheets have dates.


'GPM. General Macro Definitions'
Date: Mar 1965
Shelfmark: MS. Eng. misc. b. 273/C.200
Former ref: CSAC 71.1.80/C.200

Scope and Content:

Notes, routines and test printouts, mainly on the 'Defargval' routine.


Correspondence with B. Raphael
Date: 1966
Shelfmark: MS. Eng. misc. b. 273/C.201
Former ref: CSAC 71.1.80/C.201

Scope and Content:

Correspondence with B. Raphael, Chairman of Comparison of Languages Subcommittee, A.C.M., with a questionnaire and Strachey's reply describing GPM.

C.6   Oxford University Programming Research Group (P.R.G.)


Scope and Content:

Strachey's main interest in the later part of this period, mathematical semantics and programming theory, was disseminated chiefly through discussions, lectures and talks, or shorter papers, but not by any comprehensive publication during his lifetime (see MS. Eng. misc. b. 293/F.61-MS. Eng. misc. b. 294/F.75).

Much of the work was collaborative with Strachey's colleagues in the Programming Research Group, notably D. Park, D. Scott and J.E. Stoy, and with research students such as R. Milne, C. Wadsworth; contributions from these and others are included in the folders and idenfied where possible.

Guidance from M. Harper and J.E. Stoy on the content and dating of some of this material is very gratefully acknowledged.

C.6.1   Project MAC (Multiple-Access Computer)


Scope and Content:

Visits and work at Project MAC (Multiple-Access Computer), Massachusetts Institute of Technology

Papers and correspondence relating to various visits paid by Strachey to Project MAC to lecture and advise, including reports and professional correspondence regarding projects, courses, personnel, as well as travel and personal arrangements, etc.


CTSS
Date: 1966
Shelfmark: MS. Eng. misc. b. 273/C.202
Former ref: CSAC 71.1.80/C.202

Scope and Content:

CTSS (Compatible Time-Sharing System) Programmer's Guide.


Correspondence with J.M. Wozencraft
Date: Apr-Nov 1966
Shelfmark: MS. Eng. misc. b. 273/C.203
Former ref: CSAC 71.1.80/C.203

Scope and Content:

Correspondence with J.M. Wozencraft regarding work in progress, personnel, CPL Compiler, etc. at Project MAC


Strachey's visit to Project MAC
Date: May 1967-Jul 1968
Shelfmark: MS. Eng. misc. b. 273/C.204
Former ref: CSAC 71.1.80/C.204

Scope and Content:

Correspondence and reports, regarding Strachey's visit to Project MAC to assess and advise on 'programming linguistics', graduate course, July 1967, with miscellaneous reports on the course and on the visit, and recommendations for revisions.

Contract, travel visa arrangements, etc. are also included.


Strachey's visit to lecture at M.I.T.
Date: Jul 1969
Shelfmark: MS. Eng. misc. b. 273/C.205
Former ref: CSAC 71.1.80/C.205

Scope and Content:

Correspondence, etc. regarding Strachey's visit to lecture at M.I.T. in a summer session course on 'Programming Linguistics'. Includes correspondence on research in progress, travel and financial arrangements, etc.


Bell Telephone Laboratories
Date: 1969
Shelfmark: MS. Eng. misc. b. 273/C.206
Former ref: CSAC 71.1.80/C.206

Scope and Content:

Invitation to Strachey to visit and lecture at Laboratories during his visit to the US for the M.I.T. Summer Session. Includes correspondence on research in progress, travel and financial arrangements, etc.


Second visit to M.I.T.
Date: 1970
Shelfmark: MS. Eng. misc. b. 273/C.207
Former ref: CSAC 71.1.80/C.207

Scope and Content:

Correspondence, etc. regarding his visit to M.I.T. to lecture at the second Summer School on Programming Linguistics in July 1970. Includes professional correspondence on research in progress.

C.6.2   KDF9


Scope and Content:

KDF9 was Oxford University's computer. Strachey used this machine and the Atlas machine at Chilton for various translating and implementation programmes using CPL and BCPL.


Programming experiments on the KDF9
Date: c.1967
Shelfmark: MS. Eng. misc. b. 273/C.208
Former ref: CSAC 71.1.80/C.208

Scope and Content:

Miscellaneous notes and routines for programming experiments on the KDF9, 'line imager', Atlas-ASC II, etc.


'KDF9 Programs'
Date: c.1967-1969
Shelfmark: MS. Eng. misc. b. 273/C.209
Former ref: CSAC 71.1.80/C.209

Scope and Content:

Miscellaneous notes and routines.


'KDF9 Macrocode System. Writeups, etc.'
Date: c.1967
Shelfmark: MS. Eng. misc. b. 273/C.210
Former ref: CSAC 71.1.80/C.210

Scope and Content:

Includes:

  • Eight-page typescript note on 'Macrocode System for the KDF9', explaining the purpose of the system and the terms used: LUP (Load Update Pair), FVL (Free Variable List), 9 January 1967.
  • Three typescript notes on aspects of the system.
  • Four manuscript notes, two of them being drafts for above.

'Code Generator for the KDF9'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 273/C.211
Former ref: CSAC 71.1.80/C.211

Scope and Content:

Includes:

  • 'Code Generator for the KDF9. OCode to User Code'.
  • 'User Code Generator for CPL OCode', 8-page manuscript.
  • Twenty-five-page manuscript of program for the code generator, n.d.
  • Numerous sets of manuscript notes on the code generator.

'History BCPL Usercode Generator KDF9 Streams'
Date: 1969
Shelfmark: MS. Eng. misc. b. 273/C.212
Former ref: CSAC 71.1.80/C.212

Scope and Content:

One folder of stencilled reports; nos. 1-13 are dated June 1969.

  1. 'Storage Allocation'
  2. 'KDF9 Character Input Stream'
  3. 'Temporary Monitor Routine and Error Exits'
  4. '8 bit characters (from P702) to KDF9 6 bit characters Input Stream'
  5. 'Titan Characters to 8 bit Characters Input Stream'
  6. 'Titan 7-bit Input Stream'
  7. 'Punch Tape Code to Line Printer Code Output Stream'
  8. 'Blank Output Streams'
  9. 'Punch Tape Code to Line Printer Character Stream'
  10. 'Device "Streams"
  11. 'User Code Character Output Streams'
  12. 'Temporary Merge Output Streams'
  13. 'User Code Block Output Streams'
  14. 'Line Imager'
  15. 'Tab Replaces'
  16. 'User Code Generator for CPL Code'
  17. No title

C.6.3   Modular One (Mod I)


Scope and Content:

This was the P.R.G. computer, supplied by Computer Technology Ltd. (CTL) for Strachey's Science Research Council (S.R.C.) project. The S.R.C. grant was agreed in November 1968 and the machine was delivered in March 1969. Strachey and his team had written a compiler and operating system, using BCPL, and the machine was operating almost at once. This episode is described as follows in 'Getting down to software fundamentals' (included in MS. Eng. misc. b. 248/A.2):

'Mod One arrived midday on March 19, and passed its acceptance tests that evening. Less than 48 hours later they had the whole lot working.'

Intercode for the Modular One machine
Date: Jan- Feb 1969
Former ref: CSAC 71.1.80/C.213
Shelfmark: MS. Eng. misc. b. 274/C.213

Scope and Content:

Tagged manuscript notes and test printouts for the Mark I and Mark II Intercode for the Modular One machine.

Most of the notes are date-stamped


Intercode for the Modular One machine
Date: Jan- Feb 1969
Former ref: CSAC 71.1.80/C.214
Shelfmark: MS. Eng. misc. b. 274/C.214

Scope and Content:

Tagged manuscript notes and test printouts for the Mark I and Mark II Intercode for the Modular One machine.

Most of the notes are date-stamped


Intercode for the Modular One machine
Date: Jan- Feb 1969
Former ref: CSAC 71.1.80/C.215
Shelfmark: MS. Eng. misc. b. 274/C.215

Scope and Content:

Tagged manuscript notes and test printouts for the Mark I and Mark II Intercode for the Modular One machine.

Most of the notes are date-stamped


'Set up Bootstraps'
Date: 1969
Shelfmark: MS. Eng. misc. b. 274/C.216
Former ref: CSAC 71.1.80/C.216

Scope and Content:

Loose-leaf ring binder of manuscript notes and routines, almost all in Strachey's hand, but with some later material by D. Park, P. McGregor. Strachey's notes are dated January-February 1969.

The material is divided as follows:

  • 'Set up General'
  • 'Bootstrap I'
  • 'Bootstrap II'
  • 'OS1 Set up'

The notes by Strachey are designs for programs to load the P.R.G's Operating System (OS1) into the Modular One Computer from paper tape. They are in 'Written IC' (Interpretive Code, designed by Strachey in the sets of notes for Bootstrap I and Bootstrap II, Tape 1, and in BCPL thereafter. There is later material from other members of P.R.G., as this was an active working file until at least 1971.

(Information supplied by M. Harper of P.R.G.)


Manual for Modular One
Date: 1969-1971
Shelfmark: MS. Eng. misc. b. 274/C.217
Former ref: CSAC 71.1.80/C.217

Scope and Content:

Tagged folder of stencilled notes, information and routines kept as a manual for Modular One. Various dates


'Modular I. Exec. I'
Date: c.1969
Shelfmark: MS. Eng. misc. b. 274/C.218
Former ref: CSAC 71.1.80/C.218

Scope and Content:

Bound folder of the program, with some manuscript annotations. n.d.

Note: 'Exec. I' was the Executive program supplied by Computer Technology Limited with the P.R.G.'s Modular One machine. CTL would not supply the text of the Assembly Code program, so Strachey produced an unannotated listing from the Assembled binary tape.


'Modular I. Exec. I'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 274/C.219
Former ref: CSAC 71.1.80/C.219

Scope and Content:

Miscellaneous manuscript with decoded and annotated sections from CTL's Exec. I program, produced by Strachey from the unannotated listing, to see how it worked. Probably 1970.


'Modular I. Exec. I'
Date: 1970
Shelfmark: MS. Eng. misc. b. 274/C.220
Former ref: CSAC 71.1.80/C.220

Scope and Content:

Miscellaneous manuscript notes, all regarding decoding and annotating of CTL's Exec. I program, some with dates March-April 1970. One technique for describing what a particular subroutine did was to write an 'equivalent' BCPL routine, and there is a 2-page narrative note describing conventions to be used when doing so.

(Information supplied by M. Harper of P.R.G.)


'Stream Compiler'
Date: 1970-1971
Shelfmark: MS. Eng. misc. b. 275/C.221
Former ref: CSAC 71.1.80/C.221

Scope and Content:

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


'Russian Problem'
Date: 1971-1973
Shelfmark: MS. Eng. misc. b. 275/C.222
Former ref: CSAC 71.1.80/C.222

Scope and Content:

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.


'Off-Line Job Queue'
Date: 1971-1978
Shelfmark: MS. Eng. misc. b. 275/C.223
Former ref: CSAC 71.1.80/C.223

Scope and Content:

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

C.6.4   Formal Semantics (in collaboration with D. Scott and others) including λ-Calculus


Notes for A Mathematical Theory of Computation
Date: 1969
Shelfmark: MS. Eng. misc. b. 275/C.224
Former ref: CSAC 71.1.80/C.224

Scope and Content:

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.


'Various formal programming languages'
Date: 1970
Shelfmark: MS. Eng. misc. b. 275/C.225
Former ref: CSAC 71.1.80/C.225

Scope and Content:

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.

Paradigm Programming Language
Date: n.d.
Shelfmark: MS. Eng. misc. b. 275/C.226
Former ref: CSAC 71.1.80/C.226

Scope and Content:

'Paradigm Programming Language (P.P.L.). Version 1' (by Scott and Strachey).

'P.P.L. Version 2' (by Scott and Strachey).


Shorter notes
Date: n.d.
Shelfmark: MS. Eng. misc. b. 275/C.227
Former ref: CSAC 71.1.80/C.227

Scope and Content:

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

'Mathematical Semantics for two simple languages'
Date: August 1970
Shelfmark: MS. Eng. misc. b. 275/C.228
Former ref: CSAC 71.1.80/C.228

Scope and Content:

Duplicated typescript of a paper read by Scott and Strachey (on Language O and Language 1) at Princeton.


'Jumps, etc.'
Date: 1970
Shelfmark: MS. Eng. misc. b. 275/C.229
Former ref: CSAC 71.1.80/C.229

Scope and Content:

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.

'Data Types in Programming Languages'
Date: July 1970
Shelfmark: MS. Eng. misc. b. 275/C.230
Former ref: CSAC 71.1.80/C.230

Scope and Content:

Two manuscript drafts for a work, perhaps a lecture, with this title.


'General Notes on Series - Typographical Excerpts.'
Date: 1970-1971
Shelfmark: MS. Eng. misc. b. 275/C.231
Former ref: CSAC 71.1.80/C.231

Scope and Content:

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.


'Formal Semantics - Miscellaneous work more or less in progress'
Date: 1969-1972
Shelfmark: MS. Eng. misc. b. 275/C.232
Former ref: CSAC 71.1.80/C.232

Scope and Content:

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 functions'
  • 'Commute'
  • 'Example (2nd Loop theorem)'
  • 'Loop Theorem I'
  • 'Notation'
  • 'Simplification of fixed point results'
  • 'Assignment method for recursion'
  • 'Dijkstra's Problem' (2 sets, February 1972 and earlier work, March 1970)
  • 'Induction'
  • Untitled (on Dijkstra)

Formal semantics - undated notes and calculations
Date: n.d.
Shelfmark: MS. Eng. misc. b. 275/C.233
Former ref: CSAC 71.1.80/C.233

Scope and Content:

Undated notes and calculations by Strachey on formal semantics.


Formal Semantics
Date: n.d.
Shelfmark: MS. Eng. misc. b. 275/C.234
Former ref: CSAC 71.1.80/C.234

Scope and Content:

Notes and ideas by R. Milne, S. Linfoot and other members of the P.R.G.


'Formal Semantics: Formulae, Theorems, Exercises'
Date: 1970-1971
Shelfmark: MS. Eng. misc. b. 275/C.235
Former ref: CSAC 71.1.80/C.235

Scope and Content:

Tagged set of 'Miscellaneous Formulae' in Strachey's hand, various dates March 1970-March 1971.


'Useful formulae and equivalences'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 275/C.236
Former ref: CSAC 71.1.80/C.236

Scope and Content:

'Useful formulae and equivalences' (by C. Wadsworth, annotated by Strachey).

Miscellaneous problem sheets, etc. by D. Park, J. Stoy and others.


'λ-Calculus and models'
Date: December 1970
Shelfmark: MS. Eng. misc. b. 275/C.237
Former ref: CSAC 71.1.80/C.237

Scope and Content:

Includes a paper by D. Park, and miscellaneous notes by Strachey.


'Lattice Theory. Misc. Notes'
Date: 1970
Shelfmark: MS. Eng. misc. b. 275/C.237 A
Former ref: CSAC 71.1.80/C.237 A

Scope and Content:

Bundles and loose pages of notes by Strachey, Scott, Park, and handout for lectures on Lattice Theory.

Includes 'Revised version' of Park's paper 'The Y-Combinator in Scott's λ-Calculus Models' and a copy of his covering letter to Scott, October 1970. Various dates.


'λ-Calculus'
Date: 1970
Shelfmark: MS. Eng. misc. b. 275/C.238
Former ref: CSAC 71.1.80/C.275

Scope and Content:

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.


'Dana Scott's λ and Simplified universal domain'
Date: 1973
Shelfmark: MS. Eng. misc. b. 276/C.239
Former ref: CSAC 71.1.80/C.239

Scope and Content:

Copy of Scott's paper 'A simplified construction for λ-Calculus Models' delivered at Uppsala, April 1973.

Extensive notes and comments on above by Strachey.

'Subsets of Pω', notes by Scott (Trinity Term 1973).


λ-Calculus
Date: 1973-1975
Shelfmark: MS. Eng. misc. b. 276/C.240
Former ref: CSAC 71.1.80/C.240

Scope and Content:

Various notes and problems on λ-Calculus, perhaps for course of lectures, annotated by Strachey, 1973.

Correspondence with P. Welch 1975 regarding a problem arising from the lectures.


Research material
Date: 1972
Shelfmark: MS. Eng. misc. b. 276/C.241
Former ref: CSAC 71.1.80/C.241

Scope and Content:

Folder of research material on programming languages and miscellaneous problems, by members of the P.R.G. and others, sent to Strachey or kept by him as background information. Mainly 1972.

Includes reports and papers on research in progress by R. Milne, C. Wadsworth (P.R.G.); extended correspondence between D. Scott and R. Milner, 1972, on λ-Calculus and lattice structures; notes on 'Jump-free PAL' by S. Linfoot (P.R.G.).

C.6.5   Miscellaneous notes and drafts


'An Abstract Model for Storage': A.M.S. Manuscript. 1st Draft
Date: n.d.
Shelfmark: MS. Eng. misc. b. 276/C.242
Former ref: CSAC 71.1.80/C.242

Scope and Content:

Manuscript and first typed draft with manuscript corrections for the Introduction and Chapter I of a work with this title, July 1971.


'An Abstract Model for Storage'
Date: 1970-1971
Shelfmark: MS. Eng. misc. b. 276/C.243
Former ref: CSAC 71.1.80/C.243

Scope and Content:

Folder of notes, plans and calculations, some under title 'An axiomatic model of storage', a few by Scott but almost all by Strachey. Various dates June 1970-May 1971.


'Notes on "call by name" and "call by value"'
Date: c.1970-1971
Shelfmark: MS. Eng. misc. b. 276/C.244
Former ref: CSAC 71.1.80/C.244

Scope and Content:

Notes and papers, probably taken for, or at, discussion meeting at P.R.G., n.d. c.1970-1971.


'OS6. Text and some notes'
Date: 1971
Shelfmark: MS. Eng. misc. b. 276/C.245
Former ref: CSAC 71.1.80/C.245

Scope and Content:

Notes and calculations on 'Free Store Package' and vectors, with test printouts, dated October-November 1971. These were used for P.R.G. in-house seminar on 'Style in Programming' which discussed examples of bad programming style found in the OS6 system.

(Information supplied by M. Harper of P.R.G.)


Folder for 'Bug file' and other notes
Date: 1972-1974
Shelfmark: MS. Eng. misc. b. 276/C.246
Former ref: CSAC 71.1.80/C.246

Scope and Content:

The idea of the 'BUG FILE' was that all the members of the P.R.G. would analyse (and record) their program bugs so that causes of mistakes could be recognised. Unfortunately most people (including Strachey) only kept their file for a week or so, and nothing came of the idea.

(Information supplied by M. Harper of P.R.G.)


'Bit Streams'
Date: Oct-Nov 1972
Shelfmark: MS. Eng. misc. b. 276/C.247
Former ref: CSAC 71.1.80/C.247

Scope and Content:

Notes and printout.


'Console Experiments'
Date: 1972-1974
Shelfmark: MS. Eng. misc. b. 276/C.248
Former ref: CSAC 71.1.80/C.248

Scope and Content:

Folder of miscellaneous material on programming and use of the P.R.G.'s computer; includes a few notes and programs by Strachey, and some notes and reports by other members of the P.R.G.


'Machine Design'
Date: 1971-1972
Shelfmark: MS. Eng. misc. b. 276/C.249
Former ref: CSAC 71.1.80/C.249

Scope and Content:

Notes, calculations and drafts on ideas for computer design. Includes:

  • 'Possible I.C. Machine', 24 February 1971.
  • 'Design of Large Computer Systems', 5-page manuscript draft, possibly a draft for a paper or a recommendation.
  • 'Sequel to Time-sharing in Large Fast Computers' suggests that the reduction in cost of hardware means that time-sharing is no longer desirable except in small-scale console systems on local small computers. n.d.
  • Untitled similar draft on machine design, n.d.
  • 'Notes on Very Large Projects', 5-page photocopy of manuscript draft, with a note 'Notes not used at Conf. on Undergraduate Curriculum in Comp. Sci., Univ. of Waterloo, 2-3 October 1972'.
Related Material:

See MS. Eng. misc. b. 299/H.32.



Miscellaneous notes and calculations
Date: n.d.
Shelfmark: MS. Eng. misc. b. 276/C.250
Former ref: CSAC 71.1.80/C.250

Scope and Content:

Miscellaneous notes and calculations, perhaps also for ideas on machine design, on 'Hops', 'Stack machine' (1972), 'Squasher Table' (for BCPL), etc.


'Design of new programming languages'
Date: 6 Mar 1973
Shelfmark: MS. Eng. misc. b. 276/C.251
Former ref: CSAC 71.1.80/C.251

Scope and Content:

Miscellaneous notes for talk or paper to answer questions 'Why? How? What for? What?'


'Manifest Functions'
Date: 1973
Shelfmark: MS. Eng. misc. b. 276/C.252
Former ref: CSAC 71.1.80/C.252

Scope and Content:

Includes notes on 'Manifest functions' and also other notes on language design headed:

  • 'Language I', June 1973
  • 'Error exits from functions and routines', August 1973
  • 'Dynamic type checking', n.d.

Miscellaneous
Date: 1973
Shelfmark: MS. Eng. misc. b. 276/C.253
Former ref: CSAC 71.1.80/C.253

Scope and Content:

Miscellaneous bundles of notes, calculations and narrative, mainly on 'Conditional Expressions', and various 'Models of Store'. Various dates, latest December 1973.


Miscellaneous
Date: 1973-1974
Shelfmark: MS. Eng. misc. b. 276/C.254
Former ref: CSAC 71.1.80/C.254

Scope and Content:

Miscellaneous narratives, notes, calculations, routines and printouts, mainly connected with an Anagram program which Strachey was developing.


Formal semantics and concepts in programming languages
Date: June 1974
Shelfmark: MS. Eng. misc. b. 276/C.255
Former ref: CSAC 71.1.80/C.255

Scope and Content:

Manuscript questions and problems on formal semantics and concepts in programming languages, devised for the section 'Theory of Programming Languages' in the Honour School of Mathematics, Oxford


Miscellaneous
Date: Mar 1974
Shelfmark: MS. Eng. misc. b. 276/C.256
Former ref: CSAC 71.1.80/C.256

Scope and Content:

Miscellaneous notes and calculations on semantics, some dated.


Miscellaneous routines and test printouts
Date: Mar-Apr 1975
Shelfmark: MS. Eng. misc. b. 276/C.257
Former ref: CSAC 71.1.80/C.257

Scope and Content:

Miscellaneous routines and test printouts. Mainly for 'Recipes' program, possibly intended to test ideas on the compact storage of information, and some general P.R.G. computer documentation.


'Miscellaneous programming notes and tricks'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 276/C.258
Former ref: CSAC 71.1.80/C.258

Scope and Content:

Folder of miscellaneous material, mainly on self-reproducing programs devised by Strachey and others in the P.R.G. Includes a sequence of notes by Strachey on 'Recursive Routines and Loops'.


Miscellaneous
Date: n.d.
Shelfmark: MS. Eng. misc. b. 276/C.259
Former ref: CSAC 71.1.80/C.259

Scope and Content:

Miscellaneous undated notes, some for programs, some for problems and puzzles. Various periods to 1972.


Miscellaneous
Date: 1972-1973
Shelfmark: MS. Eng. misc. b. 276/C.260
Former ref: CSAC 71.1.80/C.260

Scope and Content:

Miscellaneous notes and narratives, perhaps for talks or papers on various problems, e.g. store, recursion, continuation language, domains, etc., some dated 1972 and 1973.


'Notes on various topics'
Date: 1974
Shelfmark: MS. Eng. misc. b. 277/C.261
Former ref: CSAC 71.1.80/C.261

Scope and Content:

Includes:

  • 'On models', manuscript, perhaps for a short talk, 5 pages, November 1974.
  • 'Thoughts about Syntax', manuscript 1 page, n.d.
  • 'The Axiom of Choice', n.d.

'Miscellaneous notes for papers, articles, etc.
Date: 1966
Shelfmark: MS. Eng. misc. b. 277/C.262
Former ref: CSAC 71.1.80/C.262

Scope and Content:

Includes:

  • 'Notes on self-teaching programs', 1 page with note, M.I.T., 1966.
  • 'Abstraction in Programming Languages', 1 page, notes.
  • 'Numerals', 2 pages
  • Plan for publication on the philosophical foundations and methods of language programming, under 17 headings with notes on contents, 7 pages, n.d.
  • 'Logical Structure of a Small Operating System', 3 pages.
  • 'The Structure of Operating Systems', 4 pages.

Teaching and research material: 'Miscellaneous semantics'
Date: 1969
Shelfmark: MS. Eng. misc. b. 277/C.263
Former ref: CSAC 71.1.80/C.263

Scope and Content:

Typescript and manuscript notes on various topics, by Strachey and other members of the P.R.G., 1969.

Includes two tagged bundles of notes by Strachey, on 'ALGOL Formal Semantics' and 'Types and other Manifest attributes'.


Teaching and research material: 'Seminar on formal semantics. Mich(aelmas) 1969'
Date: 1969
Shelfmark: MS. Eng. misc. b. 277/C.264
Former ref: CSAC 71.1.80/C.264

Scope and Content:

Manuscript notes by Strachey on D. Scott's seminar on formal semantics given at Oxford, November 1969. Includes some teaching material distributed by Scott: 'A Theory of Computable Functions of a Higher Type', 'A Construction of a Model for the λ-Calculus', and ' Notes on Semantics'.


Teaching and research material: 'Style in programming'
Date: 1969-1972
Shelfmark: MS. Eng. misc. b. 277/C.265
Former ref: CSAC 71.1.80/C.265

Scope and Content:

Notes, exercises and examples for courses at Oxford.


Teaching and research material: 'Style in programming'
Date: Mainly 1970
Shelfmark: MS. Eng. misc. b. 277/C.266
Former ref: CSAC 71.1.80/C.266

Scope and Content:

Notes, exercises and examples for courses at Oxford.


Teaching and research material: 'Style in programming'
Date: 1972-1973
Shelfmark: MS. Eng. misc. b. 277/C.267
Former ref: CSAC 71.1.80/C.267

Scope and Content:

Notes, exercises and examples for courses at Oxford.


Undergraduate Computer Course
Date: Sep 1968
Shelfmark: MS. Eng. misc. b. 277/C.268
Former ref: CSAC 71.1.80/C.268

Scope and Content:

Notes, exercises and examples for vacation courses on programming, at Oxford.


Undergraduate Computer Course
Date: Sep-Oct 1972
Shelfmark: MS. Eng. misc. b. 277/C.269
Former ref: CSAC 71.1.80/C.269

Scope and Content:

Notes, exercises and examples for vacation courses on programming, at Oxford.

Material for a course on 'Introduction to Computing'.


Undergraduate Computer Course
Date: Sep 1973
Shelfmark: MS. Eng. misc. b. 277/C.270
Former ref: CSAC 71.1.80/C.270

Scope and Content:

Notes, exercises and examples for vacation courses on programming, at Oxford.

Material for 'Undergraduate Computer Course'.


Teaching and research material
Date: 1971-1974
Shelfmark: MS. Eng. misc. b. 277/C.271
Former ref: CSAC 71.1.80/C.271

Scope and Content:

'Logical Hardware Lecture Notes, Hilary 1971'.

Tagged bundles of notes and narratives, and miscellaneous exercises and problems, bearing various dates.


Teaching and research material: 'Handouts (Technical)'
Shelfmark: MS. Eng. misc. b. 277/C.272
Former ref: CSAC 71.1.80/C.272

Scope and Content:

Folder of manuscript and duplicated material, notes and examples on semantics, λ-calculus, etc., probably for teaching.


Teaching and research material
Date: Mar 1974-Mar 1975
Shelfmark: MS. Eng. misc. b. 277/C.273
Former ref: CSAC 71.1.80/C.273

Scope and Content:

Miscellaneous manuscript notes and narratives, various dates.


Teaching and research material
Date: Jan-Feb 1975
Shelfmark: MS. Eng. misc. b. 277/C.274
Former ref: CSAC 71.1.80/C.274

Scope and Content:

Tagged bundle of notes on 'Outline of Processes of Computation.'

With some loose pages of diagrams on the same subject headed 'Abstract Process of Computation' and 'Concrete Process of Computation'.

D   Consultancies


Scope and Content:

Most of the material dates from 1959-1964, when Strachey was in practice as a private consultant; some antedates this period, (see MS. Eng. misc. b. 283/D.82-MS. Eng. misc. b. 283/D.84 for advice requested while Strachey was still teaching at Harrow) and several firms maintained an arrangement, whether on a formal or an ad hoc basis, for several years after the formal winding up of the practice.

Though industrial firms form the major part of those involved, Strachey was also consulted by universities, research establishments and official bodies such as National Research Development Corporation.

The material is presented, in general, alphabetically. It may consist of formal and financial agreements, arrangements for visits and meetings, working notes, research material and reports, and should be read in conjunction with items in Section C relating to e.g. work on E.M.I. and Ferranti computers.

D.1   University of Adelaide Computing Centre - University of Edinburgh Department of Electrical Engineering


University of Adelaide Computing Centre
Date: May 1962
Shelfmark: MS. Eng. misc. b. 278/D.1
Former ref: CSAC 71.1.80/D.1

Scope and Content:

Exploratory correspondence regarding a project to write a 7090 FORTRAN translator for the CIRRUS computer at Adelaide. Strachey was willing to undertake the project in conjunction with A.S. Douglas of the Corporation for Economic and Industrial Research, and a costed plan was submitted. The project appears not to have developed.


Bank of Ireland
Date: Mar 1963
Shelfmark: MS. Eng. misc. b. 278/D.2
Former ref: CSAC 71.1.80/D.2

Scope and Content:

Brief correspondence regarding advice on use of the computer for the Bank of Ireland.


Burroughs Corporation
Date: Jul-Sep 1962
Shelfmark: MS. Eng. misc. b. 278/D.3
Former ref: CSAC 71.1.80/D.3

Scope and Content:

Brief correspondence and note of a meeting.


C.A.V. Limited
Date: Jan 1961-Feb 1963
Shelfmark: MS. Eng. misc. b. 278/D.4
Former ref: CSAC 71.1.80/D.4

Scope and Content:

Strachey was recommended to the firm by Lord Halsbury, and acted as a consultant for them in devising and supervising acceptance tests for their new Leo III computer.

Folder includes correspondence regarding meetings, working papers and routines, programme and schedule of acceptance tests, notes and memoranda on meetings and discussions, reports on 6 days of acceptance tests, and a publicity leaflet issued on the formal acceptance of the machine.


Computer Technology Limited
Date: 1973-1974
Shelfmark: MS. Eng. misc. b. 278/D.5
Former ref: CSAC 71.1.80/D.5

Scope and Content:

Brief correspondence regarding a possible consultancy arrangement, and also regarding an exchangeable disc for Mod. I at the P.R.G., October-November 1973.

Correspondence regarding a proposal for the Minicomputer Industry in Europe, 1974.


Corporation for Economic and Industrial Research (C.E.I.R.)
Date: 1958-1962
Shelfmark: MS. Eng. misc. b. 278/D.6
Former ref: CSAC 71.1.80/D.6

Scope and Content:

Note by Strachey of a visit from the President of C.E.I.R., (H.W. Robinson), regarding a possible consultancy, 1960.

Brief correspondence with A.S. Douglas regarding the NIGEL project, 1962.

Included in the folder is a letter regarding a possible consultancy with I.B.M., 1958.


Computer Analysts and Programmers Limited (C.A.P.)
Date: 1962-1964
Shelfmark: MS. Eng. misc. b. 278/D.7
Former ref: CSAC 71.1.80/D.7

Scope and Content:

Correspondence, including a letter dated 15 May 1963, confirming Strachey's election to the Board as Director.

Includes a draft brochure of the company's services and a manuscript draft of monthly accounts.


Note

Strachey resigned as Director of the Board on his appointment to Oxford in 1967, but remained a shareholder and 'Consulting Fellow'.


Computer Analysts and Programmers Limited (C.A.P.)
Date: 1965-1974
Shelfmark: MS. Eng. misc. b. 278/D.8
Former ref: CSAC 71.1.80/D.8

Scope and Content:

Correspondence, mainly typescript. Includes accounts for years ended 30 April 1966 and 30 April 1967.


Computer Analysts and Programmers Limited (C.A.P.)
Date: 1973
Shelfmark: MS. Eng. misc. b. 278/D.9
Former ref: CSAC 71.1.80/D.9

Scope and Content:

Correspondence with M. Dan Oestricher regarding a visit to Strachey's P.R.G., Oxford, and Strachey's comments on a note to appear in C.A.P. Views about research in progress at the P.R.G.


University of Edinburgh Department of Electrical Engineering
Date: 1964-1965
Shelfmark: MS. Eng. misc. b. 278/D.10
Former ref: CSAC 71.1.80/D.10

Scope and Content:

Strachey acted as Consultant to J.V. Oldfield in his research project 'A visual display system for dynamic design'; a copy of the research proposal is included.

Brief correspondence regarding the project, and the high-speed data links required.


Decca Radar Limited
Date: Jun-Nov 1961
Shelfmark: MS. Eng. misc. b. 278/D.11
Former ref: CSAC 71.1.80/D.11

Scope and Content:

Tagged folder of correspondence regarding consultancy arrangements and fees with members of the Computer Division, Decca Radar, including advice by Strachey on planning and personnel of the programming section.


Note

Strachey acted as consultant on the design of a digital data processor (D.D.P.) for the firm.


Decca Radar Limited
Date: May-Aug 1961
Shelfmark: MS. Eng. misc. b. 278/D.12
Former ref: CSAC 71.1.80/D.12

Scope and Content:

Tagged folder of Strachey's notes, calculations and routines, various dates, with duplicated background information sheets from Decca Radar Ltd.


Note

Strachey acted as consultant on the design of a digital data processor (D.D.P.) for the firm.


Decca Radar Limited
Date: Sep 1961
Shelfmark: MS. Eng. misc. b. 278/D.13
Former ref: CSAC 71.1.80/D.13

Scope and Content:

Manuscript and corrected typescript versions of Strachey's 'Preliminary Report on the Choice of an Order Code for the D.D.P.', June, 'Supplementary report on the Choice of an Order Code for the D.D.P.', July-August, and 'Final Report on the Choice of an Order Code for the D.D.P.'


Note

Strachey acted as consultant on the design of a digital data processor (D.D.P.) for the firm.

D.2   Electric and Musical Industries Limited (E.M.I.)


Scope and Content:

Strachey was retained as a consultant by E.M.I. from June 1959. The Computer Division of the firm was bought out by International Computers and Tabulators Ltd. (I.C.T.) in 1962; Strachey continued his consultancy (then for I.C.T. Product Planning Division) until 30 November 1963.

Related Material:

See Section C for further notes and working papers related to various E.M.I. projects, LISP, and high-speed computers.



General correspondence
Date: Apr 1959-Jun 1964
Shelfmark: MS. Eng. misc. b. 278/D.14
Former ref: CSAC 71.1.80/D.14

Scope and Content:

Tagged folder of general correspondence with officers of E.M.I. Includes:

  • Consultancy arrangements
  • Commission to report on the EMIDEC 1100 (March 1960) and the EMIDEC 2400 and 3400 (May 1960)
  • Letters to N. Brown regarding Strachey's LISP functions (October 1961)
  • Commission from E.M.I. Electronics Ltd. 'to develop an ALGOL compiler written in a machine independent language' (June 1962).

EMIDEC 1100
Date: n.d.
Shelfmark: MS. Eng. misc. b. 278/D.15
Former ref: CSAC 71.1.80/D.15

Scope and Content:

Miscellaneous information sheets regarding the Emidec 1100, and miscellaneous notes by Strachey on the machine and on administrative structure.


'EMIDEC 1100 Programs'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 278/D.16
Former ref: CSAC 71.1.80/D.16

Scope and Content:

Miscellaneous manuscript notes and routines.


EMIDEC 1100: 'Postmortem routine'
Date: 1959-1960
Shelfmark: MS. Eng. misc. b. 278/D.17
Former ref: CSAC 71.1.80/D.17

Scope and Content:

Various notes and printouts headed 'Postmortem' (not in Strachey's hand), various dates July 1959, March 1960.


'Report on a study of the EMIDEC 1100'
Date: 1960
Shelfmark: MS. Eng. misc. b. 278/D.18
Former ref: CSAC 71.1.80/D.18

Scope and Content:

Report on a study of the Emidec 1100 addressed and sent to Mr. C. Metcalfe in answer to his letter of March 1960 (see MS. Eng. misc. b. 278/D.14)

Typescript and manuscript draft, 26 pages, final version 17 pages, May 1960.


EMIDEC 2400
Date: n.d.
Shelfmark: MS. Eng. misc. b. 278/D.19
Former ref: CSAC 71.1.80/D.19

Scope and Content:

Program Input Routine (Part 3 of the EMIDEC 2400 Data Processing System). Background material sent to Strachey for information.


EMIDEC 2400
Date: 1960
Shelfmark: MS. Eng. misc. b. 278/D.20
Former ref: CSAC 71.1.80/D.20

Scope and Content:

Two samples of data processing programs in use on the EMIDEC 2400, sent to Strachey for information and referred to with misgiving in his report.

Related Material:

See MS. Eng. misc. b. 278/D.24 below.



EMIDEC 2400: 'Current 2400 Programs'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 278/D.21
Former ref: CSAC 71.1.80/D.21

Scope and Content:

Miscellaneous manuscript calculations and routines by Strachey.


EMIDEC 2400: 'Current EMI 2400'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 278/D.22
Former ref: CSAC 71.1.80/D.22

Scope and Content:

Miscellaneous manuscript calculations and routines by Strachey.


EMIDEC 2400: 'EMI 2400 completed programs'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 278/D.23
Former ref: CSAC 71.1.80/D.23

Scope and Content:

Miscellaneous manuscript calculations and routines by Strachey, mainly concerning Floating Point.


'Report on the EMIDEC 2400, September 1960'
Date: 1960
Shelfmark: MS. Eng. misc. b. 278/D.24
Former ref: CSAC 71.1.80/D.24

Scope and Content:

Manuscript notes, plans and drafts, first typescript with manuscript revisions 11 pages + 2-page addendum, typescript final version 9 pages + 2-page addendum.


EMIDEC 3400
Date: 1959
Shelfmark: MS. Eng. misc. b. 279/D.25
Former ref: CSAC 71.1.80/D.25

Scope and Content:

E.M.I. duplicated memoranda on Fast Computer and the development of the Emidec 3400, February, April, November (2) 1959; undated table of comparison of the Emidec 2400 with the I.B.M. 7070.


EMIDEC 3400
Date: n.d.
Shelfmark: MS. Eng. misc. b. 279/D.26
Former ref: CSAC 71.1.80/D.26

Scope and Content:

Strachey's notes and calculations, mainly on administrative and financial matters, staffing for the 1100, 2400, 3400, etc.


EMIDEC 3400
Date: 1960
Shelfmark: MS. Eng. misc. b. 279/D.27
Former ref: CSAC 71.1.80/D.27

Scope and Content:

E.M.I. duplicated memoranda, progress reports, etc. on the 3400, including 'Proposals for the development of a new high speed computer', May 1960, and Progress reports May, June, August, September, October 1960.


EMIDEC 3400
Date: n.d.
Shelfmark: MS. Eng. misc. b. 279/D.28
Former ref: CSAC 71.1.80/D.28

Scope and Content:

Strachey's manuscript notes and drafts on 'Dynamics' and 'Geodesics'.


EMIDEC 3400
Date: 1961
Shelfmark: MS. Eng. misc. b. 279/D.29
Former ref: CSAC 71.1.80/D.29

Scope and Content:

E.M.I. duplicated memoranda, reports, specifications, tests, etc. on the 3400 project, and a 'Note on Nebula'.


EMIDEC 3400: A.V. Logical Design
Date: n.d.
Shelfmark: MS. Eng. misc. b. 279/D.30
Former ref: CSAC 71.1.80/D.30

Scope and Content:

Strachey's folder of notes, calculations, routines and circuits.


EMIDEC 3400
Date: Dec 1958
Shelfmark: MS. Eng. misc. b. 279/D.31
Former ref: CSAC 71.1.80/D.31

Scope and Content:

Copy of a letter from Strachey to P.M.S. Blackett on 'the mathematical successor of the Emidec 2400', written from the National Research Development Corporation (N.R.D.C.).


EMIDEC 3400
Date: Mar 1957
Shelfmark: MS. Eng. misc. b. 279/D.32
Former ref: CSAC 71.1.80/D.32

Scope and Content:

Copy of an E.M.I. memorandum on ATHENE, heavily and unfavourably commented upon by Strachey.

D.3   Elliott Brothers - Evershed and Vignoles


Elliott Brothers (London) Limited
Date: n.d.
Shelfmark: MS. Eng. misc. b. 279/D.33
Former ref: CSAC 71.1.80/D.33

Scope and Content:

Tagged folder of specifications, layout and diagrams of the Elliott 502. Mainly official specifications, codes and routines supplied by the firm, some annotated by Strachey, with notes of meetings.


Note

Strachey advised the firm on the Order Code for the Elliott 502 Computer.


Elliott Brothers (London) Limited
Date: 1960
Shelfmark: MS. Eng. misc. b. 279/D.34
Former ref: CSAC 71.1.80/D.34

Scope and Content:

Minutes and notes of meetings, with papers and reports on various aspects of the micro-instruction code for the 502, some annotated by Strachey; brief correspondence regarding meetings is sometimes included from Roger L. Cook (Technical Services Manager, Computer Centre, Elliott Brothers).

The material relates to meetings on 6, 20 January, 10, 17, 24, 29 February 1960.


Note

Strachey advised the firm on the Order Code for the Elliott 502 Computer.


Elliott Brothers (London) Limited
Date: 1960
Shelfmark: MS. Eng. misc. b. 279/D.35
Former ref: CSAC 71.1.80/D.35

Scope and Content:

Minutes and notes of meetings, with papers and reports on various aspects of the micro-instruction code for the 502, some annotated by Strachey.

The material relates to meetings on 9, 27 March, 1, 7 April, n.d., 9, 13 May 1960.


Note

Strachey advised the firm on the Order Code for the Elliott 502 Computer.


Elliott Brothers (London) Limited
Date: n.d.
Shelfmark: MS. Eng. misc. b. 279/D.36
Former ref: CSAC 71.1.80/D.36

Scope and Content:

Strachey's notes and calculations for the Elliott 502 Micro Order Structure.


Note

Strachey advised the firm on the Order Code for the Elliott 502 Computer.


Elliott Brothers (London) Limited
Date: n.d.
Shelfmark: MS. Eng. misc. b. 279/D.37
Former ref: CSAC 71.1.80/D.37

Scope and Content:

'Bull Code'. Notes and routines with this name for the Elliott 502 Computer.


Note

Strachey advised the firm on the Order Code for the Elliott 502 Computer.


English Electric Company Limited
Date: 1956-1961
Shelfmark: MS. Eng. misc. b. 279/D.38
Former ref: CSAC 71.1.80/D.38

Scope and Content:

Brief manuscript notes by Strachey on the English Electric DEUCE Computer Manual, 1956.

Brief correspondence 1961.


Evershed and Vignoles Limited
Date: Oct-Nov 1961
Shelfmark: MS. Eng. misc. b. 279/D.39
Former ref: CSAC 71.1.80/D.39

Scope and Content:

Manuscript plan and draft of a report on a statistical analyser, and final typescript version.


Evershed and Vignoles Limited
Date: Jul-Sep 1961
Shelfmark: MS. Eng. misc. b. 279/D.40
Former ref: CSAC 71.1.80/D.40

Scope and Content:

Miscellaneous manuscript notes, diagrams and calculations for a statistical analyser.

D.4   Ferranti Limited


Scope and Content:

Following his resignation from the National Research Development Corporation (N.R.D.C.), Strachey acted as private consultant to Ferranti Ltd., 1959-1962, with special responsibility for the development of an autocode for the ORION computer. Strachey's assistant, Peter Landin, was principally engaged on this work under Strachey's guidance. The final report, scheduled for February 1962, was not formally completed.

The Computer Department of Ferranti Ltd. was sold to International Computers and Tabulators Ltd (I.C.T.) in 1963. Because few records survive elsewhere for the Orion project, the memoranda, research papers, manuals and company material circulated to Strachey by the firm, have been retained.


Correspondence with Ferranti
Date: 1959-1962
Shelfmark: MS. Eng. misc. b. 280/D.41
Former ref: CSAC 71.1.80/D.41

Scope and Content:

Includes negotiations regarding consultancy, signed Agreement for 'the preparation of an autocode for scientific work on the Orion Computer', schedule and provisional outline of a report on Orion Autocode November 1961-June 1962, termination of consultancy as from November 1962.


Ferranti Limited
Date: 1961
Shelfmark: MS. Eng. misc. b. 280/D.42
Former ref: CSAC 71.1.80/D.42

Scope and Content:

Miscellaneous correspondence regarding despatch of manuals and company literature, company conferences, etc.

Includes correspondence regarding data transmission links.


Ferranti Limited
Date: 1960-1963
Shelfmark: MS. Eng. misc. b. 280/D.43
Former ref: CSAC 71.1.80/D.43

Scope and Content:

Folder of correspondence exchanged with P. Landin as Strachey's assistant with responsibility for Orion Autocode.

Includes technical correspondence, invitations to and reports on conferences or meetings attended by Landin vice Strachey, comments on drafts of proposed manuals, and notes by Strachey and Landin for their Autocode Manual, September-October 1961.


Ferranti Limited: Material on Mercury Autocode Programme
Date: 1956-1962
Shelfmark: MS. Eng. misc. b. 280/D.44
Former ref: CSAC 71.1.80/D.44

Scope and Content:

Mainly duplicated papers, notes of meetings, etc. on Mercury Autocode and its extension to programs for Orion and Atlas.

Includes papers and Autocode Bulletins 1-3 by R.A. Brooker, and Ferranti papers: 'Extended Mercury Autocode on Orion and Atlas', November 1961, and 'Addendum' to above, February 1962.


Ferranti Limited
Date: Mar-Apr 1961
Shelfmark: MS. Eng. misc. b. 280/D.45
Former ref: CSAC 71.1.80/D.45

Scope and Content:

Miscellaneous manuscript and typescript notes and working papers for programs on Orion project (not in Strachey's hand). Some dated.


Ferranti Limited
Date: 6 Oct 1960-30 Dec 1960
Shelfmark: MS. Eng. misc. b. 280/D.46
Former ref: CSAC 71.1.80/D.46

Scope and Content:

Departmental memoranda, technical notes; minutes and notes of meetings and discussions on various aspects of Orion design, extension of Mercury autocode to Orion, etc. attended by Strachey or sent to him for information.


Ferranti Limited
Date: 6 Jan 1961-4 Oct 1963
Shelfmark: MS. Eng. misc. b. 280/D.47
Former ref: CSAC 71.1.80/D.47

Scope and Content:

Departmental memoranda, technical notes; minutes and notes of meetings and discussions on various aspects of Orion design, extension of Mercury autocode to Orion, etc. attended by Strachey or sent to him for information.


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: 1959
Shelfmark: MS. Eng. misc. b. 281/D.48
Former ref: CSAC 71.1.80/D.48

Scope and Content:

Orion System (publicity booklet).


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: 1959-1960
Shelfmark: MS. Eng. misc. b. 281/D.49
Former ref: CSAC 71.1.80/D.49

Scope and Content:

Ferranti Orion: Provisional Order-Code, July 1959, 'with some amendments inserted by P. Landin (especially for times) 6/4/60'.


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: 1959
Shelfmark: MS. Eng. misc. b. 281/D.50
Former ref: CSAC 71.1.80/D.50

Scope and Content:

Ferranti Orion Data-Processing System: provisional description, August 1959, annotated by P. Landin.


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: Mar 1960
Shelfmark: MS. Eng. misc. b. 281/D.51
Former ref: CSAC 71.1.80/D.51

Scope and Content:

Ferranti Orion Data-Processing System. Description of a provisional Program-Input routine, annotated by P. Landin.


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: 28 Mar 1960
Shelfmark: MS. Eng. misc. b. 281/D.52
Former ref: CSAC 71.1.80/D.52

Scope and Content:

The Orion Nebula. A brief description of the proposed commercially oriented language for Orion.


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: Apr 1960
Shelfmark: MS. Eng. misc. b. 281/D.53
Former ref: CSAC 71.1.80/D.53

Scope and Content:

Ferranti Orion Data-Processing System: Organisation and Monitoring Program.


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: Apr 1960
Shelfmark: MS. Eng. misc. b. 281/D.54
Former ref: CSAC 71.1.80/D.54

Scope and Content:

Orion: 'Proposed Scheme for Program-Input', (diagram with note by P. Landin on verso).


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: Apr 1960
Shelfmark: MS. Eng. misc. b. 281/D.55
Former ref: CSAC 71.1.80/D.55

Scope and Content:

Ferranti Orion: provisional description of a symbolic input routine, with corrections and revisions by P. Landin.


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: Apr 1960
Shelfmark: MS. Eng. misc. b. 281/D.56
Former ref: CSAC 71.1.80/D.56

Scope and Content:

Ferranti Orion: 'Provisional Description', 2nd edition.


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: 4 May 1960
Shelfmark: MS. Eng. misc. b. 281/D.57
Former ref: CSAC 71.1.80/D.57

Scope and Content:

'A preliminary note about the execution on Orion of Mercury autocode programs that include machine orders', by P. Landin.


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: Jul 1960
Shelfmark: MS. Eng. misc. b. 281/D.58
Former ref: CSAC 71.1.80/D.58

Scope and Content:

Ferranti Orion: Primitive Input scheme.


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: Nov 1960
Shelfmark: MS. Eng. misc. b. 281/D.59
Former ref: CSAC 71.1.80/D.59

Scope and Content:

Ferranti Orion: the built-in programmes.


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: Jan 1961
Shelfmark: MS. Eng. misc. b. 281/D.60
Former ref: CSAC 71.1.80/D.60

Scope and Content:

Ferranti Orion: 'Provisional Description', 4th edition.


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: Mar 1961
Shelfmark: MS. Eng. misc. b. 281/D.61
Former ref: CSAC 71.1.80/D.61

Scope and Content:

Amendment to 'Provisional Description', 4th edition.


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: 3 Jan 1961
Shelfmark: MS. Eng. misc. b. 281/D.62
Former ref: CSAC 71.1.80/D.62

Scope and Content:

Ferranti Orion: the built-in programs.


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: 31 Jan 1961
Shelfmark: MS. Eng. misc. b. 281/D.63
Former ref: CSAC 71.1.80/D.63

Scope and Content:

Draft of portion of Chapter XIII of the 'Nebula Programming Manual'.


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: 6 Mar 1961
Shelfmark: MS. Eng. misc. b. 281/D.64
Former ref: CSAC 71.1.80/D.64

Scope and Content:

Ferranti Orion: 'Programming Exercises' (machine coding).


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: 14 Mar 1961
Shelfmark: MS. Eng. misc. b. 281/D.65
Former ref: CSAC 71.1.80/D.65

Scope and Content:

Ferranti Orion: examples of complete problems for programming.


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: 22 Mar 1961
Shelfmark: MS. Eng. misc. b. 281/D.66
Former ref: CSAC 71.1.80/D.66

Scope and Content:

Ferranti Orion: examples of the Use of the 101 Output Conversion Instruction.


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: 24 Mar 1961
Shelfmark: MS. Eng. misc. b. 281/D.67
Former ref: CSAC 71.1.80/D.67

Scope and Content:

Ferranti Orion: two simplified problems relating to Insurance Office Work, for programming.


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: n.d.
Shelfmark: MS. Eng. misc. b. 281/D.68
Former ref: CSAC 71.1.80/D.68

Scope and Content:

Ferranti Orion: a simple program 'Special Factorize', [March 1961?].


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: 7 Mar 1961
Shelfmark: MS. Eng. misc. b. 281/D.69
Former ref: CSAC 71.1.80/D.69

Scope and Content:

Ferranti Orion: description of card readers, card punches and line printers.


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: May 1961
Shelfmark: MS. Eng. misc. b. 281/D.70
Former ref: CSAC 71.1.80/D.70

Scope and Content:

Ferranti Orion: two sample complete programs.


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: Jun 1961
Shelfmark: MS. Eng. misc. b. 281/D.71
Former ref: CSAC 71.1.80/D.71

Scope and Content:

Ferranti Orion: sorting time graphs.


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: 11 Aug 1961
Shelfmark: MS. Eng. misc. b. 281/D.72
Former ref: CSAC 71.1.80/D.72

Scope and Content:

Ferranti Orion: 'Programming Exercises' (addendum to MS. Eng. misc. b. 281/D.64).


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: 26 Jan 1962
Shelfmark: MS. Eng. misc. b. 281/D.73
Former ref: CSAC 71.1.80/D.73

Scope and Content:

Ferranti Orion: description of card reader, card punch and line printers (revised version of MS. Eng. misc. b. 281/D.69).


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: 16 Jan 1962
Shelfmark: MS. Eng. misc. b. 281/D.74
Former ref: CSAC 71.1.80/D.74

Scope and Content:

Ferranti Orion: 'A Fortran Compiler for Orion'.


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: 1 Aug 1962
Shelfmark: MS. Eng. misc. b. 281/D.75
Former ref: CSAC 71.1.80/D.75

Scope and Content:

Ferranti Orion: 'Data Input System Specification'.


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: 22 Oct 1962
Shelfmark: MS. Eng. misc. b. 281/D.76
Former ref: CSAC 71.1.80/D.76

Scope and Content:

Ferranti Orion 'Data Input System Specification' (revised version).


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: Oct 1961
Shelfmark: MS. Eng. misc. b. 281/D.77
Former ref: CSAC 71.1.80/D.77

Scope and Content:

Draft 'Orion Autocode - Users' Handbook', 70 pages + 4-page Index.

Annotations, comments, deletions, etc. by P. Landin, 'CMP', G.E. Felton, and Strachey.


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: Oct 1961
Shelfmark: MS. Eng. misc. b. 281/D.78
Former ref: CSAC 71.1.80/D.78

Scope and Content:

Draft 'Orion Autocode - Users' Handbook', 70 pages + 4-page Index.

Annotations, comments, deletions, etc. by P. Landin, 'CMP', G.E. Felton, and Strachey.


Official research papers and drafts prepared for or circulated by Ferranti Computer Department
Date: Oct 1961
Shelfmark: MS. Eng. misc. b. 281/D.79
Former ref: CSAC 71.1.80/D.79

Scope and Content:

Draft 'Orion Autocode - Users' Handbook', 70 pages + 4-page Index.

Annotations, comments, deletions, etc. by P. Landin, 'CMP', G.E. Felton, and Strachey.


Orion Programmers' Reference Manual, Vol. 1
Date: 1961-1963
Shelfmark: MS. Eng. misc. b. 282/D.80
Former ref: CSAC 71.1.80/D.80

Scope and Content:

Ring-backed loose-leaf binder of programs and instructions.

Annotations, etc., by P. Landin, 'CMP', G.E. Felton, and Strachey.


Orion Programmers' Reference Manual, Vol. 2
Date: 1961-1963
Shelfmark: MS. Eng. misc. b. 282/D.81
Former ref: CSAC 71.1.80/D.81

Scope and Content:

Ring-backed loose-leaf binder of programs and instructions.

Annotations, etc., by P. Landin, 'CMP', G.E. Felton, and Strachey.

D.5   Foster Brothers Limited - Glyndebourne Festival Opera


Scope and Content:

Strachey was recommended to Foster Brothers Limited by a mutual acquaintance, during his period at Harrow School.

The firm, which manufactured tapered steel poles for telegraph lines, required formulae for the calculation of stress loads both vertically and horizontally.


Foster Brothers Limited
Date: Jun 1950-May 1951
Shelfmark: MS. Eng. misc. b. 283/D.82
Former ref: CSAC 71.1.80/D.82

Scope and Content:

Correspondence regarding the problem of test pole stresses and deflections and Strachey's progress with it.


Foster Brothers Limited
Date: n.d.
Shelfmark: MS. Eng. misc. b. 283/D.83
Former ref: CSAC 71.1.80/D.83

Scope and Content:

Notes, calculations and graphs on the problem of test pole stresses and deflections, many on verso of class exercises at Harrow.

Manuscript and typed versions of Strachey's report 'Calculation of test loads for tapered tubular poles'.


Foster Brothers Limited
Date: n.d.
Shelfmark: MS. Eng. misc. b. 283/D.84
Former ref: CSAC 71.1.80/D.84

Scope and Content:

Miscellaneous drawings, diagrams and specifications sent by Foster Brothers to Strachey and with his annotations, additions, etc.


Glyndebourne Festival Opera
Date: 1965
Shelfmark: MS. Eng. misc. b. 283/D.85
Former ref: CSAC 71.1.80/D.85

Scope and Content:

Correspondence regarding possible use of a computer for Glyndebourne Opera bookings.

D.6   International Computers and Tabulators Limited (I.C.T.)


Scope and Content:

I.C.T. bought Electrical Musical Industries (E.M.I.) Computer Division in 1962 and Ferranti Computer Department in 1963, and became International Computers Limited (I.C.L.) in 1968.

Strachey became a consultant in 1963, his contract being renewed periodically to May 1965 when he left for M.I.T. He resumed his consultancy in July 1966.


International Computers and Tabulators Limited (I.C.T.)
Date: 1960-1965
Shelfmark: MS. Eng. misc. b. 283/D.86
Former ref: CSAC 71.1.80/D.86

Scope and Content:

Correspondence on consultancy and renewals, 1964-1965.

Includes one letter on Mercury Auto Code, 1960.


International Computers and Tabulators Limited (I.C.T.)
Date: 1966
Shelfmark: MS. Eng. misc. b. 283/D.87
Former ref: CSAC 71.1.80/D.87

Scope and Content:

Correspondence on consultancy, visits, etc., and on disc store.


International Computers and Tabulators Limited (I.C.T.)
Date: Jan 1967
Shelfmark: MS. Eng. misc. b. 283/D.88
Former ref: CSAC 71.1.80/D.88

Scope and Content:

Correspondence regarding Basic Language Machine. Includes I.C.T. draft manual, with comments and annotations by Strachey.


International Computers and Tabulators Limited (I.C.T.)
Date: Jun 1967
Shelfmark: MS. Eng. misc. b. 283/D.89
Former ref: CSAC 71.1.80/D.89

Scope and Content:

Correspondence regarding the design of the (model) 1908 computer.


International Computers and Tabulators Limited (I.C.T.)
Date: 1968-1971
Shelfmark: MS. Eng. misc. b. 283/D.90
Former ref: CSAC 71.1.80/D.90

Scope and Content:

Correspondence regarding meetings and projects, especially concerning the Interactive Programming System and user methods. Includes reports and papers.

D.7   Mullard Equipment Limited


Scope and Content:

Strachey was appointed Consultant to the firm from December 1961 for four years, to work in 'the field of telegraph switching'. He terminated the consultancy in 1965 when winding up his existing consultancy business before leaving for M.I.T.


Mullard Equipment Limited
Date: 1961-1965
Shelfmark: MS. Eng. misc. b. 283/D.91
Former ref: CSAC 71.1.80/D.91

Scope and Content:

General correspondence regarding consultancy, including a copy of Strachey's Agreement


Mullard Equipment Limited
Date: 1962-1964
Shelfmark: MS. Eng. misc. b. 283/D.92
Former ref: CSAC 71.1.80/D.92

Scope and Content:

Correspondence, memoranda, etc. regarding meetings and projects, mainly on Electronic Telegraph Switching, and patents on 'Memory Systems' arising therefrom (1962). Some briefer correspondence on Parcel Conveyor Control (1964) is included.

Includes 2 reports by Strachey, 7 March 1962: 'Electronic Telegraph Switching. Draft Proposals' and 'Parallel Access to a Drum'. November 1961-November 1964.

Fuller correspondence, drafts and information on Patents was kept in a separate file

Related Material:

See MS. Eng. misc. b. 283/D.95.



Mullard Equipment Limited
Date: Dec 1961-Mar 1962
Shelfmark: MS. Eng. misc. b. 283/D.93
Former ref: CSAC 71.1.80/D.93

Scope and Content:

Brief notes and working papers by Strachey on the Electronic Telegraph Switching project.


Mullard Equipment Limited
Date: Jan-Feb 1962
Shelfmark: MS. Eng. misc. b. 283/D.94
Former ref: CSAC 71.1.80/D.94

Scope and Content:

Tagged folder of notes and routines for the Electronic Telegraph Switching project, various dates This is the full record of Strachey's work on the project, and the basis of his summary reports in MS. Eng. misc. b. 283/D.92, an extra copy of which is included here.


Mullard Equipment Limited
Date: Mar 1962-Aug 1964
Shelfmark: MS. Eng. misc. b. 283/D.95
Former ref: CSAC 71.1.80/D.95

Scope and Content:

Correspondence, drafts, amendments, etc. regarding patenting of 'Improvements in or relating to information storage systems' (joint inventors were Strachey and Peter Swift of Mullard), Patent Application 19287/62. PHB 31100, on Drum Storage; Patent Application PHB 31141 (inventor Strachey) on Random Access to Drum Store.


Mullard Equipment Limited
Date: 17 Aug 1961
Shelfmark: MS. Eng. misc. b. 283/D.96
Former ref: CSAC 71.1.80/D.96

Scope and Content:

Manuscript and typescript drafts for a paper 'Logarithmic Calculator', prepared for Mullard Ltd. and dated. (This antedates Strachey's formal consultancy with the firm, but was kept with the later material.)

D.8   National Institute for Research in Nuclear Science, ATLAS Computer Laboratory, Harwell


Scope and Content:

Strachey was appointed Consultant to ATLAS Computer Laboratory, initially for one year from September 1962, the appointment being renewed in 1963 and 1964. On his appointment at Oxford he continued to serve as member of the Extramural Research Panel.


National Institute for Research in Nuclear Science, ATLAS Computer Laboratory, Harwell
Date: 1962-1963
Shelfmark: MS. Eng. misc. b. 284/D.97
Former ref: CSAC 71.1.80/D.97

Scope and Content:

Correspondence regarding meetings, research projects, appointments, publications of books or reviews, and miscellaneous proposals for the ATLAS laboratory.


National Institute for Research in Nuclear Science, ATLAS Computer Laboratory, Harwell
Date: 1964
Shelfmark: MS. Eng. misc. b. 284/D.98
Former ref: CSAC 71.1.80/D.98

Scope and Content:

Correspondence regarding meetings, research projects, appointments, publications of books or reviews, and miscellaneous proposals for the ATLAS laboratory.


National Institute for Research in Nuclear Science, ATLAS Computer Laboratory, Harwell
Date: 1966-1970
Shelfmark: MS. Eng. misc. b. 284/D.99
Former ref: CSAC 71.1.80/D.99

Scope and Content:

Correspondence regarding meetings, research projects, appointments, publications of books or reviews, and miscellaneous proposals for the ATLAS laboratory.

D.9   National Research Development Corporation (N.R.D.C.) - Rio Tinto Management Services (U.K.) Limited


Scope and Content:

Strachey ceased work as a full-time salaried employee of the N.R.D.C. in March 1959. From 1 June 1959 he entered into an Agreement with the Corporation to work for it as a private consultant for a specified number of days in each of the three years to 1962. The Agreement was renewed in May 1962 for a further six months, covering the period June-December 1962.

Some of the material in Section C relates to commissions undertaken for N.R.D.C. under this Agreement; see especially work for Royal Radar Establishment, on Ship Fairings, Traffic Control and EMIDEC, and Strachey's tabulated chronicle of his activities in MS. Eng. misc. b. 283/D.103.

Related Material:

See also MS. Eng. misc. b. 251/A.39-MS. Eng. misc. b. 251/A.42, and MS. Eng. misc. b. 258/C.27-MS. Eng. misc. b. 265/C.115.



National Research Development Corporation
Date: 1959-1962
Shelfmark: MS. Eng. misc. b. 284/D.100
Former ref: CSAC 71.1.80/D.100

Scope and Content:

N.R.D.C. Agreement and related correspondence.

Strachey's tagged folder, including drafts of agreement, final 'Deed' as signed 1 June 1959, and letter of renewal for six months from 1 June 1962.


National Research Development Corporation
Date: 1959-1961
Shelfmark: MS. Eng. misc. b. 284/D.101
Former ref: CSAC 71.1.80/D.101

Scope and Content:

Strachey's tagged folder of miscellaneous correspondence regarding the N.R.D.C. Pension Fund.


National Research Development Corporation
Date: 1959-1962
Shelfmark: MS. Eng. misc. b. 284/D.102
Former ref: CSAC 71.1.80/D.102

Scope and Content:

Strachey's tagged folder of correspondence and reports exchanged with Michael A. Wright (Strachey's successor with responsibility for computer activities at N.R.D.C.) on various projects with which Strachey was concerned. They include:

  • Letter regarding LISP structure problems, August 1960.
  • Strachey's report on 'Information Processing Languages', in particular LISP, 5 pages, February 1961 (see also MS. Eng. misc. b. 266/C.121-MS. Eng. misc. b. 267/C.135).
  • Plans for conference and meetings in USA, February 1961.
  • Correspondence on Ship Fairing, November 1961 (see also MS. Eng. misc. b. 266/C.117).
  • Computer Patents, August-September 1962.

National Research Development Corporation
Date: 1960-1962
Shelfmark: MS. Eng. misc. b. 284/D.103
Former ref: CSAC 71.1.80/D.103

Scope and Content:

Tabulated chronicle of activities, 3 pages

With 1 page to a year, this gives, in very compressed form, a complete breakdown of Strachey's work and allocation of his time between N.R.D.C., Electric Musical Industries (E.M.I.), Decca, Mullard and other projects for the 3 years 1960-1962.

As in MS. Eng. misc. b. 248/A.6 a considerable amount of information is encapsulated in small compass.


Rio Tinto Management Services (U.K.) Limited
Date: Oct 1960-Jul 1961
Shelfmark: MS. Eng. misc. b. 284/D.104
Former ref: CSAC 71.1.80/D.104

Scope and Content:

Correspondence, notes of meetings and discussion regarding possible use of a computer for ore-bed and other mining assessments in the Company's work.

D.10   Siemens Edison Swan Limited - Solartron Electronics Group


Scope and Content:

Papers relating to the Joint National Research Development Corporation (N.R.D.C.)/Siemens Computer Project, in which Strachey was one of N.R.D.C. representatives; the project became A.E.I./N.R.D.C. project from 1 January 1960.

Contains mainly committee papers, progress reports, etc. regarding the 405 Computer.


Siemens Edison Swan Limited
Date: 1958-1960
Shelfmark: MS. Eng. misc. b. 284/D.105
Former ref: CSAC 71.1.80/D.105

Scope and Content:

Agendas and minutes of Progress Meetings, October 1958, January, March, May, June, July, August, October, November, December 1959, January, February, March, August 1960.


Siemens Edison Swan Limited
Date: 1958-1960
Shelfmark: MS. Eng. misc. b. 284/D.106
Former ref: CSAC 71.1.80/D.106

Scope and Content:

Memoranda and reports prepared for Progress Meetings by N.R.D.C. and Siemens, some written or annotated by Strachey. Includes:

  • Paper, 4 December 1958, by C.R. Merton outlining the history of the 405 project, and future policy.
  • Paper, 8 December 1958, by Strachey, on the 405 project and future policy.
  • Schedules for acceptance tests and reports on the machine's performance, November 1958-August 1960

Siemens Edison Swan Limited
Date: Jan-Jun 1959
Shelfmark: MS. Eng. misc. b. 284/D.107
Former ref: CSAC 71.1.80/D.107

Scope and Content:

Miscellaneous duplicated notes and schedules for the 405 machine.


Siemens Edison Swan Limited
Date: 1959
Shelfmark: MS. Eng. misc. b. 284/D.108
Former ref: CSAC 71.1.80/D.108

Scope and Content:

Loose-leaf ring-binder of specifications, preparation sheets, etc. prepared by Siemens for the 405 machine


Solartron Electronics Group
Date: 1962-1963
Shelfmark: MS. Eng. misc. b. 284/D.109
Former ref: CSAC 71.1.80/D.109

Scope and Content:

Brief correspondence and working notes on the project 'Eurocontrol Radar Simulation'.

E   Committees and Societies


Scope and Content:

Committee and background papers have been included when they deal with projects in which Strachey played a major part.

Arrangement: The material is presented in alphabetical order of name of committee or organisation.

E.1   Association for Computing Machinery, British Chapter


Scope and Content:

The British Chapter was formed in 1968.


Association for Computing Machinery, British Chapter
Date: 1968-1972
Shelfmark: MS. Eng. misc. b. 285/E.1
Former ref: CSAC 71.1.80/E.1

Scope and Content:

Correspondence, papers regarding the organisation of the Chapter, and minutes of 2 meetings.

E.2   Automatic Programming Information Centre (A.P.I.C.)


Scope and Content:

A National Conference on Automatic Programming held in Brighton, April 1959, recommended the establishment at Brighton Technical College of a National Centre of Information on Automatic Programming - to maintain a comprehensive library of the literature in the field and to publish an annual review. Strachey served on its Advisory Committee; the Organising Secretary was R.H. Goodman.


Automatic Programming Information Centre (A.P.I.C.)
Date: 1959-1961
Shelfmark: MS. Eng. misc. b. 285/E.2
Former ref: CSAC 71.1.80/E.2

Scope and Content:

Notices and minutes of meetings of the Advisory Committee, and correspondence, especially regarding the relationship between the British Computer Society and the A.P.I.C.

Related Material:

See also MS. Eng. misc. b. 285/E.10.



Automatic Programming Information Centre (A.P.I.C.)
Date: n.d.
Shelfmark: MS. Eng. misc. b. 285/E.3
Former ref: CSAC 71.1.80/E.3

Scope and Content:

Correspondence with R.H. Goodman, mainly regarding Strachey's and P. Landin's requests to borrow or have photocopies of articles from the A.P.I.C. library. Some correspondence regarding reviews by Strachey or Landin for publication in the A.P.I.C. bulletin is also included.


Automatic Programming Information Centre (A.P.I.C.)
Date: 1965-1967
Shelfmark: MS. Eng. misc. b. 285/E.4
Former ref: CSAC 71.1.80/E.4

Scope and Content:

Correspondence with R.H. Goodman regarding the possible publication of Strachey's paper on a general purpose macrogenerator in the Annual Review in Automatic Programming. The paper was published in The Computer Journal, see MS. Eng. misc. b. 290/F.32.

Later correspondence and papers regarding the future of the Annual Review following the death of R.H. Goodman, 1967.

E.3   British Computer Society (B.C.S.)


Scope and Content:

The Society was founded in 1957.

Strachey served on many of its committees and study groups, and as Chairman, 1959-1962, of the Committee on Scientific Programming Languages. He also contributed papers to The Computer Journal, and acted as referee for manuscripts submitted for publication.

He was made a Distinguished Fellow of the Society in 1971.


British Computer Society (B.C.S.)
Date: 1959-1962, 1972-1975
Shelfmark: MS. Eng. misc. b. 285/E.5
Former ref: CSAC 71.1.80/E.5

Scope and Content:

Miscellaneous papers and correspondence regarding activities of the B.C.S. (conferences, discussion meetings, Annual General Meetings, etc.)

Mainly printed material, but includes correspondence regarding the proposed European Cooperation in Informatics (ECI) Conference planned for Amsterdam 1976 for which Strachey was to serve on the Programme Committee.


British Computer Society (B.C.S.)
Date: 1968-1975
Shelfmark: MS. Eng. misc. b. 285/E.6
Former ref: CSAC 71.1.80/E.6

Scope and Content:

Correspondence and papers regarding Strachey's membership in the B.C.S., his appointment as a Distinguished Fellow (1971) and his membership of I.F.I.P. Working Groups 2.2 and 2.3.

Correspondence for 1968 refers to the Extraordinary General Meeting of the Society in March to consider revision of articles of membership.


British Computer Society (B.C.S.)
Date: 1961-1962
Shelfmark: MS. Eng. misc. b. 285/E.7
Former ref: CSAC 71.1.80/E.7

Scope and Content:

Correspondence and papers on 'Non-Numerical Analysis'

In October 1961 The Computer Journall (Vol.4, No.3, p.212) published an article by L. Fox called 'Computing Machines for Teaching and Research' which elicited a lively correspondence in the Journal regarding the validity and importance of non-numerical analysis. Strachey and S. Gill replied immediately to Fox 'Your stirring article which has just appeared in The Computer Journal was obviously intended to cause controversy and we have risen to the bait'. They wrote a lengthy letter which was published in Vol.4, No.4, January 1962, and which was answered by Fox in the same issue. In this second letter Fox offered to organise a Summer School in Oxford in 1963 'on "Non-numerical applications", "Artificial intelligence", or whatever title is thought desirable, at which Gill and Strachey and other workers in these fields could give us the benefit of their knowledge'. This became the very successful Summer School on Advances in Programming and Non-Numerical Computation. (See MS. Eng. misc. b. 297/H.11 and MS. Eng. misc. b. 298/H.12 for correspondence and papers regarding this School).

The folder does not contain a copy of Fox's original article, but includes:

  • Typescript, stencilled typescript and proof of Strachey's and Gill's letter.
  • Typescript and stencilled copy of Fox's rejoinder.
  • Correspondence between Strachey, Gill, Fox and E. Mutch (Editor of the Journal).
  • Photocopies of numerous letters sent to the editor of the Journal and passed along to Strachey, Gill and Fox (these letters have not been indexed).
  • Copy of interesting, lengthy letter from Gill to the editor, 18 January 1962, regarding the philosophical 'background' to the controversy.

B.C.S. Committee on programming notation
Date: 1958-1962
Shelfmark: MS. Eng. misc. b. 285/E.8
Former ref: CSAC 71.1.80/E.8

Scope and Content:

Research Committee on Scientific Programming Notation. Includes:

  • Minutes of meetings 1-22 (21 July 1958-1 May 1962).
  • Agenda for meetings 2-22.
  • Committee on Automatic Coding for Business Problems (the parallel committee to the Scientific Committee).
  • Minutes of meetings 1-4 (31 March 1959-6 November 1959).

Note

In July 1958 the British Computer Society established an Advisory Committee on Standardization of Automatic Coding Notation to formulate suggestions for a uniform programming language for scientific problems. The Committee went through numerous changes of name: it became the Research Committee on Scientific Programming Notation in December 1958, the Committee on Scientific Programming in November 1961 and the Committee on Scientific Programming Languages in February 1962. S. Gill served as Secretary of the Committee throughout its existence and Strachey served as Chairman from October 1959 until the Committee was disbanded in July 1962. The B.C.S. established a Standard Programming Languages Committee which held its first meeting on 13 February 1962 and on which Gill and Strachey served. No material relating to this committee survives.

Related Material:

See MS. Eng. misc. b. 285/E.9 and MS. Eng. misc. b. 285/E.10.



B.C.S. Committee on programming notation
Date: 1959-1962
Shelfmark: MS. Eng. misc. b. 285/E.9
Former ref: CSAC 71.1.80/E.9

Scope and Content:

Folder of drafts for papers produced by the Committee. Includes:

  • 'Suggestions for Notations': 6-page manuscript and 4-page typescript draft by Strachey, 26 February 1959, considered by the Committee at its meeting on 3 March.
  • 'Towards a Common Programming Language'.
  • Three typescript drafts of paper by Gill describing the aims of the Committee and including examples drawn from Strachey's notes (above). 3-page, 4-page and 5-page drafts, all annotated by Strachey. The final version was published in the The Computer Bulletin, vol.3, no. 1, April 1959.
  • Typescript draft (5 pages, annotated by Strachey) of a paper on layout of cycles and on operators (probably prepared by H.H. Robertson with M. Woodger), 29 June 1959, published in the The Computer Bulletin, vol.3, no.3.
  • 'Notations for Subroutines', 5 typescript drafts of a paper on this subject (4-page, 5-page, 7-page, 7-page, 8-page, all annotated by Strachey). The last one bears extensive comments by P. Landin.
  • 'Some notes on the use of auxiliary subroutines', 2-page draft by D. Wheeler, 2-page note by Strachey, 19 February 1960, commenting on Wheeler's draft, 2 pages. 'Some further notes on the use of subroutines', 31 March 1960, annotated by Strachey and Landin.

B.C.S. Committee on programming notation
Date: 1958-1962
Shelfmark: MS. Eng. misc. b. 285/E.10
Former ref: CSAC 71.1.80/E.10

Scope and Content:

Folder of correspondence and papers regarding the work of the Committee. Topics include:

  • Proposals of the Association for Computing Machinery and the German Association for Applied Mathematics and Mechanics on standardization.
  • ALGOL and the November 1959 meeting in Paris.
  • The Automatic Programming Information Centre in Brighton.
  • An Expanded Alphabet.
  • Notification of meetings.
  • Disbandment of the Committee, etc.

Much of the material consists of carbons of letters written by Gill on behalf of the Committee or of photocopies of letters received.


Working Party on a Travelling Computer for Schools, and computers in education
Date: n.d.
Shelfmark: MS. Eng. misc. b. 285/E.11
Former ref: CSAC 71.1.80/E.11

Scope and Content:

Correspondence including proposals, correspondence with school masters regarding feasibility of the scheme (their replies were uniformly favourable), and with the School Mathematics Project.


Note

This was originally an independent working party chaired by R.H. Tizard to explore a proposal by Strachey that a small computer be mounted in a lorry and taken round to schools for demonstrations, lectures and practical experience. The Working Party was later sponsored by the British Computer Society.

Related Material:

See MS. Eng. misc b. 285/E.12 and MS. Eng. misc b. 285/E.13.



Working Party on a Travelling Computer for Schools, and computers in education
Date: 1962
Shelfmark: MS. Eng. misc. b. 285/E.12
Former ref: CSAC 71.1.80/E.12

Scope and Content:

Includes:

  • Minutes and notes for meetings.
  • Numerous drafts of explanatory proposals and papers regarding the Working Party.
  • Extracts from replies and comments by schools regarding the proposal (see correspondence in MS. Eng. misc. b. 285/E.11).
  • Strachey's manuscript notes.
  • Estimates of costs.

Working Party on a Travelling Computer for Schools, and computers in education
Date: 1963
Shelfmark: MS. Eng. misc. b. 285/E.13
Former ref: CSAC 71.1.80/E.13

Scope and Content:

Miscellaneous material relating to the teaching of computation in schools and examinations at A-level in the subject.

Proposals, sample examination papers, correspondence regarding meetings to discuss project.

See MS. Eng. misc. b. 290/F.29, MS. Eng. misc. b. 290/F.30, and MS. Eng. misc. b. 297/H.10 for further material relating to computers in education.


Study Group on Artificial Intelligence and Simulation of Behaviour (A is B)
Date: 1964-1965
Shelfmark: MS. Eng. misc. b. 285/E.14
Former ref: CSAC 71.1.80/E.14

Scope and Content:

Correspondence regarding project. Includes first Newsletter.


Note

Following a one-day symposium on A is B held at Northampton College of Technology in September 1964, Strachey joined a Committee to further the project.

The other members were D.E. Broadbent, I.J. Good and D. Michie, and the Secretary was M.B. Clowes until December 1965, when the position was filled by R.M. Burstall.

The B.C.S. encouraged the project with publicity and a small financial grant.


Study Group on Artificial Intelligence and Simulation of Behaviour (A is B)
Date: 1966-1969
Shelfmark: MS. Eng. misc. b. 286/E.15
Former ref: CSAC 71.1.80/E.15

Scope and Content:

Correspondence, including some correspondence on CPL.

Strachey resigned from the Committee in June 1969.


Joint Mathematical Council
Date: 1974
Shelfmark: MS. Eng. misc. b. 286/E.16
Former ref: CSAC 71.1.80/E.16

Scope and Content:

Strachey succeeded M.V. Wilkes as B.C.S. representative on the Council from July 1974.

Brief correspondence regarding appointment.

Background material regarding the Council.


British Computer Society (B.C.S.)
Date: 1961-1970
Shelfmark: MS. Eng. misc. b. 286/E.17
Former ref: CSAC 71.1.80/E.17

Scope and Content:

Miscellaneous reports by Strachey on manuscripts submitted for publication in The Computer Journal.


British Computer Society (B.C.S.)
Date: 1960-1967
Shelfmark: MS. Eng. misc. b. 286/E.18
Former ref: CSAC 71.1.80/E.18

Scope and Content:

Miscellaneous reviews by Strachey for The Computer Journal and The Computer Bulletin.


British Computer Society (B.C.S.)
Date: 1965
Shelfmark: MS. Eng. misc. b. 286/E.19
Former ref: CSAC 71.1.80/E.19

Scope and Content:

Miscellaneous correspondence arising from publications by Strachey in The Computer Journal, especially regarding 'An Impossible Program' published as a letter to the Editor, January 1965.


British Computer Society (B.C.S.)
Date: 1957-1973
Shelfmark: MS. Eng. misc. b. 286/E.20
Former ref: CSAC 71.1.80/E.20

Scope and Content:

Invitations to lecture to various B.C.S. groups and branches.


British Standards Institution Panel on Punched Tape Coding
Date: Jul 1959-Sep 1960
Shelfmark: MS. Eng. misc. b. 286/E.21
Former ref: CSAC 71.1.80/E.21

Scope and Content:

Committee papers, drafts of British Standard for Codes for Punched Tapes, with comments by Strachey and C.R. Merton, N.R.D.C., and others.

Strachey's manuscript notes.

E.4   Department of Scientific and Industrial Research (D.S.I.R.). Working Party on Computer Science


Scope and Content:

Following proposals by D.L.J. Perkins of I.C.T. and his correspondence with Sir Philip Morris, a meeting was called for 31 July 1962 under the Chairmanship of Sir Harry Melville (Secretary, D.S.I.R.) 'to discuss a proposal that a school of Computer Science or Computational Philosophy should be founded' (MS. Eng. misc. b. 286/E.22). It was agreed to appoint a Working Party to review the current use of computers in research and to recommend proposals for further research.

The Working Party, which was Chaired by L. Howarth, held its first meeting on 23 October 1962. Strachey was invited to act as its consultant (MS. Eng. misc. b. 286/E.23), his main task being to review previous work and research in progress in the UK (MS. Eng. misc. b. 286/E.29-MS. Eng. misc. b. 286/E.31) and to present reports to the Working Party (included in MS. Eng. misc. b. 286/E.26 and MS. Eng. misc. b. 286/E.27).

The final report of the Working Party was issued in April 1964 (MS. Eng. misc. b. 286/E.28).


Note

This material should be consulted in conjunction with that relating to the Science Research Council (S.R.C.) (MS. Eng. misc. b. 287/E.42-MS. Eng. misc. b. 288/E.63) which developed from D.S.I.R.


D.S.I.R.
Date: 1961-1962
Shelfmark: MS. Eng. misc. b. 286/E.22
Former ref: CSAC 71.1.80/E.22

Scope and Content:

Preliminary correspondence and papers. Includes invitation to meeting, copies of proposal by D.L.J. Perkins (June 1961) and subsequent correspondence, list of those invited to meeting on 31 July 1962, and a note of its decisions.


D.S.I.R.
Date: Aug 1962-May 1963
Shelfmark: MS. Eng. misc. b. 286/E.23
Former ref: CSAC 71.1.80/E.23

Scope and Content:

Correspondence regarding Strachey's appointment 'to act as consultant and expert adviser' to the Working Party, conditions of appointment, and termination of agreement with effect from 1 April 1963.


D.S.I.R.
Date: 1962-1964
Shelfmark: MS. Eng. misc. b. 286/E.24
Former ref: CSAC 71.1.80/E.24

Scope and Content:

Correspondence regarding Strachey's paper on 'Computers and University Research', written 26 June 1962, which was circulated to the Working Party and appeared as Appendix II of its final report, April 1964.

A copy of the paper is included.


D.S.I.R.
Date: 23 Oct 1962
Shelfmark: MS. Eng. misc. b. 286/E.25
Former ref: CSAC 71.1.80/E.25

Scope and Content:

Papers for a Working Party meeting.


D.S.I.R.
Date: 1963
Shelfmark: MS. Eng. misc. b. 286/E.26
Former ref: CSAC 71.1.80/E.26

Scope and Content:

Papers for Working Party meeting 26 January 1963.

Paper 8 is Strachey's 'Report on computer science in the U.S.A.', Paper 9 is his 'Report on computer science in the U.K.', Paper 11 is a memorandum from M.V. Wilkes and Strachey.


D.S.I.R.
Date: 1963
Shelfmark: MS. Eng. misc. b. 286/E.27
Former ref: CSAC 71.1.80/E.27

Scope and Content:

Papers for Working Party meeting 26 March 1963.

Paper 14 is Strachey's 'Note on Present Position', Paper 15 is the report on his enquiry on 'Current Computer Research in England', Paper 16 is a Memorandum by Strachey 'in my private capacity'.


D.S.I.R.
Date: 1964
Shelfmark: MS. Eng. misc. b. 286/E.28
Former ref: CSAC 71.1.80/E.28

Scope and Content:

Minutes of meetings.

Drafts of final report, April 1964, which recommended support for Wilkes's and Strachey's proposals for a research group at Cambridge.

Letter of thanks for participation.


D.S.I.R.
Date: 1963
Shelfmark: MS. Eng. misc. b. 286/E.29
Former ref: CSAC 71.1.80/E.29

Scope and Content:

Material collected by Strachey for his enquiry into current research.

In February 1963 Strachey circularised numerous universities and researchers who made 'unusual' uses of computers in their work. He sent out 63 queries which elicited 35 replies by 15 March (the date on which he prepared the report); several replies were received subsequent to that date.

The folder includes a copy of Strachey's original letter, a list of those circularised, Strachey's manuscript notes and a copy of his report on the enquiry (4 typescript pages; circulated as paper 15 of the Working Party - see MS. Eng. misc. b. 286/E.27).

Strachey numbered each reply as it was received and they are presented in this order. He also numbered correspondingly the names on the mailing list and thus this list serves as a useful index to the material.

See MS. Eng. misc. b. 286/E.30 for replies to letters received by D.M. MacKay on this subject.


D.S.I.R.
Date: 1962-1963
Shelfmark: MS. Eng. misc. b. 286/E.30
Former ref: CSAC 71.1.80/E.30

Scope and Content:

Manuscript notes by Strachey on visits to research projects in UK, for memoranda for the Working Party. Includes photocopies of letters sent to D.M. MacKay from workers in various UK universities, passed on to Strachey for information.


D.S.I.R.
Date: 1962-1963
Shelfmark: MS. Eng. misc. b. 286/E.31
Former ref: CSAC 71.1.80/E.31

Scope and Content:

Miscellaneous correspondence on visits by Strachey, research projects in UK and overseas, etc.

Brief routine correspondence regarding Working Party.


D.S.I.R. - Research Grants Committee
Date: 1963-1965
Shelfmark: MS. Eng. misc. b. 286/E.32
Former ref: CSAC 71.1.80/E.32

Scope and Content:

Strachey was appointed to the newly-constituted Computing Science Sub-committee of the above in October 1963. The Chairman was Lord Halsbury.

Letter of appointment and brief correspondence regarding the first meeting of the Sub-committee on 18 November 1963.

Committee papers on support for computer research, heavily annotated by Strachey, who describes one as 'a quite deplorable paper calculated to put irrelevant bureaucratic difficulties in the way of anyone trying to start anything interesting in computer research. It should be resisted'. Various dates November 1963-March 1965.

E.5   Diebold Research Program - European Association for Theoretical Computer Science


Diebold Research Program - Europe, Advisory Committee
Date: 1970-1972
Shelfmark: MS. Eng. misc. b. 287/E.33
Former ref: CSAC 71.1.80/E.33

Scope and Content:

Strachey was invited to become a member of the Advisory Committee when it was formed in 1971.

Correspondence and committee papers.


European Association for Theoretical Computer Science
Date: 1972-1973
Shelfmark: MS. Eng. misc. b. 287/E.34
Former ref: CSAC 71.1.80/E.34

Scope and Content:

This Association was formed in 1972 and held its first meeting in Warwick, March 1973.

Brief correspondence regarding the Association and the meeting.

E.6   International Federation for Information Processing (I.F.I.P.), 1962-1975


Scope and Content:

Miscellaneous material relating to I.F.I.P. conferences and activities, and in particular to Working Group, 2.2. (Programming Languages) and 2.3 (Programming Methodology) on both of which Strachey served.


I.F.I.P.
Date: 1962
Shelfmark: MS. Eng. misc. b. 287/E.35
Former ref: CSAC 71.1.80/E.35

Scope and Content:

Symposium on Advanced Computer Organization, I.F.I.P. Congress, Munich, 27 August-1 September 1962. Strachey did not attend the Congress.

Prospectus.

Correspondence regarding the invitation to Strachey to be one of the speakers (invitation declined; David Wheeler was the UK representative).


Formal Language Description Languages, I.F.I.P. Working Conference, Vienna, 14-18 September 1964
Date: 1964-1966
Shelfmark: MS. Eng. misc. b. 287/E.36
Former ref: CSAC 71.1.80/E.36

Scope and Content:

Includes programme, list of participants, correspondence.

Strachey contributed a paper 'Towards a Formal Semantics' which was not published until 1966 in Formal Language Description Languages for Computer Programming, ed. T.B. Steel Jr., North Holland. Strachey described this paper as 'the beginning of a mathematical (as opposed to operational) approach to formulating the semantics of a programming language'.

Related Material:

See MS. Eng. misc. b. 290/F.31



I.F.I.P. Working Conference on Symbol Manipulation Languages, Pisa, September 1966
Date: 1966
Shelfmark: MS. Eng. misc. b. 287/E.37
Former ref: CSAC 71.1.80/E.37

Scope and Content:

This Conference was sponsored by Technical Committee No. 2. Strachey chaired one of the sessions.

Folder includes invitation, programme, list of participants, information regarding arrangements for the conference, 4-page typescript by Strachey 'of what I would have liked to say' for publication in the proceedings (on a 'tree sort', in CPL).


I.F.I.P.
Date: 1967-1975
Shelfmark: MS. Eng. misc. b. 287/E.38
Former ref: CSAC 71.1.80/E.38

Scope and Content:

Miscellaneous papers and correspondence regarding I.F.I.P. meetings:

  • Technical Committee No. 2 Working Conference, Oslo 1967, on 'Simulation Languages'.
  • I.F.I.P. Congress, Edinburgh, August 1968.
  • Technical Committee No. 2 Working Conference, Norway, August 1973.
  • Technical Committee No. 2 Working Conference, Hungary, September 1975.

I.F.I.P. Working Group 2.2
Date: 1967-1974
Shelfmark: MS. Eng. misc. b. 287/E.39
Former ref: CSAC 71.1.80/E.39

Scope and Content:

In 1967 Technical Committee No. 2 (Programming Languages) established 'a working group on the problem of formal language description languages for the purpose of creating some order in the area of describing programming languages for digital computers'. Strachey served as a member of this working group from its inception.

Includes correspondence, lists of members, notices of meetings, and discussion of topics to be covered. See also Strachey's correspondence with the Science Research Council (S.R.C.) regarding grants to attend the meetings in MS. Eng. misc. b. 254/B.10, 1967-1974

Strachey's 'Fundamental Concepts in Programming Languages' appeared as Paper 1 in Bulletin no. 1 issued by the Working Group 20 February 1969. (See MS. Eng. misc. b. 292/F.40-MS. Eng. misc. b. 292/F.54).


I.F.I.P.
Date: 1968-1969
Shelfmark: MS. Eng. misc. b. 287/E.40
Former ref: CSAC 71.1.80/E.40

Scope and Content:

Folder of Strachey's notes on technical papers and questions for discussion at Working Group 2.2 meeting, Copenhagen, July 1968.

Includes 3-page typescript 'Some Features of Programming Languages', notes on types, 1st and 2nd class objects, L and R values, sequencing, definitional structure, etc. and a copy of Strachey's letter to D. Scott, 3 September 1969.


I.F.I.P. Working Group 2.3
Date: 1969-1970
Shelfmark: MS. Eng. misc. b. 287/E.41
Former ref: CSAC 71.1.80/E.41

Scope and Content:

At its meeting in October 1969 the I.F.I.P. General Assembly authorised the establishment of a Working Group on Programming Methodology. Strachey served as a member of Working Group 2.3 from its inception. See note by M. Woodger, Chairman of Working Group 2.3, 22 December 1969, on the origin and background of the Working Group.

Includes correspondence, lists of members, notices of meetings, agenda, informal minutes (including extensive sets of informal notes by the chairman) of the 1st meeting, Copenhagen, March 1970 (17 pages), and the 8th meeting, Munich, December 1974 (62 pages).

Related Material:

See also Strachey's correspondence with the Science Research Council (S.R.C.) regarding grants to attend the meetings in MS. Eng. misc. b. 254/B.10.


E.7   Science Research Council (S.R.C.) Computing Science Committee, 1965-1974


Scope and Content:

Strachey had been a member of the Computer Science Sub-committee of the Research Grants Committee of the D.S.I.R. since its inception.

When this was disbanded and the S.R.C. was established he was invited to become a member of the new Committee (from 1 October 1965 to 1968). During his service he visited various university research teams and continued to referee grant applications for research in the field.

Related Material:

See MS. Eng. misc. b. 286/E.32.



S.R.C. Computing Science Committee
Date: 1965-1968
Shelfmark: MS. Eng. misc. b. 287/E.42
Former ref: CSAC 71.1.80/E.42

Scope and Content:

Letter of invitation to serve on the Committee, correspondence regarding meetings and visits, Committee papers, letter of thanks on termination of service.

Related Material:

Some similar correspondence is included in MS. Eng. misc. b. 254/B.10.



S.R.C. Computing Science Committee
Date: 1966-1968
Shelfmark: MS. Eng. misc. b. 287/E.43
Former ref: CSAC 71.1.80/E.43

Scope and Content:

'Software workshop'.

Strachey's tagged folder of papers and correspondence regarding the establishment of a national software workshop/research centre.

Draft papers were prepared by D. Michie and Strachey (June-September 1966) and were discussed at various meetings with colleagues. See also the Minutes of the Committee for 21 February 1967 when the workshop was discussed (included in MS. Eng. misc. b. 287/E.42).

The folder includes various drafts for discussion papers, notes of meetings and proposals for action.

Related Material:

See MS. Eng. misc. b. 254/B.17 for similar material.



S.R.C. Computing Science Committee
Date: 1966-1967
Shelfmark: MS. Eng. misc. b. 287/E.44
Former ref: CSAC 71.1.80/E.44

Scope and Content:

S.R.C. Working Group on Computer Education. Strachey and N.S. Sutherland were asked by the Computing Science Committee to prepare a paper 'embodying members' criticisms of the Report' of the Working Group.

Strachey's tagged folder includes correspondence and comments by other members of the Computing Science Committee, drafts of Strachey's and Sutherland's paper, final agreed copy of the Computing Science Committee's comments and of the Mathematics Committee's comments.


S.R.C. Computing Science Committee
Date: 1962-1963
Shelfmark: MS. Eng. misc. b. 287/E.46
Former ref: CSAC 71.1.80/E.46

Scope and Content:

Reports on grant applications, research projects, visits to laboratories, research teams, etc.


S.R.C. Computing Science Committee
Date: 1964
Shelfmark: MS. Eng. misc. b. 287/E.47
Former ref: CSAC 71.1.80/E.47

Scope and Content:

Reports on grant applications, research projects, visits to laboratories, research teams, etc.


S.R.C. Computing Science Committee
Date: 1964
Shelfmark: MS. Eng. misc. b. 288/E.48
Former ref: CSAC 71.1.80/E.48

Scope and Content:

Reports on grant applications, research projects, visits to laboratories, research teams, etc.


S.R.C. Computing Science Committee
Date: 1965
Shelfmark: MS. Eng. misc. b. 288/E.49
Former ref: CSAC 71.1.80/E.49

Scope and Content:

Reports on grant applications, research projects, visits to laboratories, research teams, etc.


S.R.C. Computing Science Committee
Date: 1966
Shelfmark: MS. Eng. misc. b. 288/E.50
Former ref: CSAC 71.1.80/E.50

Scope and Content:

Reports on grant applications, research projects, visits to laboratories, research teams, etc.


S.R.C. Computing Science Committee
Date: 1966
Shelfmark: MS. Eng. misc. b. 288/E.51
Former ref: CSAC 71.1.80/E.51

Scope and Content:

Reports on grant applications, research projects, visits to laboratories, research teams, etc.


S.R.C. Computing Science Committee
Date: 1966
Shelfmark: MS. Eng. misc. b. 288/E.52
Former ref: CSAC 71.1.80/E.52

Scope and Content:

Reports on grant applications, research projects, visits to laboratories, research teams, etc.


S.R.C. Computing Science Committee
Date: 1966
Shelfmark: MS. Eng. misc. b. 288/E.53
Former ref: CSAC 71.1.80/E.53

Scope and Content:

Reports on grant applications, research projects, visits to laboratories, research teams, etc.


S.R.C. Computing Science Committee
Date: 1967
Shelfmark: MS. Eng. misc. b. 288/E.54
Former ref: CSAC 71.1.80/E.54

Scope and Content:

Reports on grant applications, research projects, visits to laboratories, research teams, etc.


S.R.C. Computing Science Committee
Date: 1968
Shelfmark: MS. Eng. misc. b. 288/E.55
Former ref: CSAC 71.1.80/E.55

Scope and Content:

Reports on grant applications, research projects, visits to laboratories, research teams, etc.


S.R.C. Computing Science Committee
Date: 1968
Shelfmark: MS. Eng. misc. b. 288/E.56
Former ref: CSAC 71.1.80/E.56

Scope and Content:

Reports on grant applications, research projects, visits to laboratories, research teams, etc.


S.R.C. Computing Science Committee
Date: 1968
Shelfmark: MS. Eng. misc. b. 288/E.57
Former ref: CSAC 71.1.80/E.57

Scope and Content:

Reports on grant applications, research projects, visits to laboratories, research teams, etc.


S.R.C. Computing Science Committee
Date: 1969
Shelfmark: MS. Eng. misc. b. 288/E.58
Former ref: CSAC 71.1.80/E.58

Scope and Content:

Reports on grant applications, research projects, visits to laboratories, research teams, etc.


S.R.C. Computing Science Committee
Date: 1970
Shelfmark: MS. Eng. misc. b. 288/E.59
Former ref: CSAC 71.1.80/E.59

Scope and Content:

Reports on grant applications, research projects, visits to laboratories, research teams, etc.


S.R.C. Computing Science Committee
Date: 1971
Shelfmark: MS. Eng. misc. b. 288/E.60
Former ref: CSAC 71.1.80/E.60

Scope and Content:

Reports on grant applications, research projects, visits to laboratories, research teams, etc.


S.R.C. Computing Science Committee
Date: 1972
Shelfmark: MS. Eng. misc. b. 288/E.61
Former ref: CSAC 71.1.80/E.61

Scope and Content:

Reports on grant applications, research projects, visits to laboratories, research teams, etc.


S.R.C. Computing Science Committee
Date: 1973
Shelfmark: MS. Eng. misc. b. 288/E.62
Former ref: CSAC 71.1.80/E.62

Scope and Content:

Reports on grant applications, research projects, visits to laboratories, research teams, etc.


S.R.C. Computing Science Committee
Date: 1974
Shelfmark: MS. Eng. misc. b. 288/E.63
Former ref: CSAC 71.1.80/E.63

Scope and Content:

Reports on grant applications, research projects, visits to laboratories, research teams, etc.

F   Publications, Reviews, Reports & Papers


Scope and Content:

Most of the bibliographies and lists of publications prepared by Strachey in his lifetime were incomplete or selective, omitting early works or those which he considered to have been superseded by developments in the subject and in his own field of interest. The list below therefore includes several items which do not appear in the various bibliographies in MS. Eng. misc. b. 248/A.3.

Many of the items comprise working notes, correspondence, background or research material, and examples of the extensive drafts, consultative comments and redrafts to which Strachey - for whom formal academic writing was reputedly a chore - submitted his work.

The items are presented chronologically and cross-references are given where possible to related material in other Sections of the collection. See especially the introduction to Section H for a list of talks, papers and contributions by Strachey at conferences, symposia, etc. and which are included in that Section.


Publication
Date: 1946
Shelfmark: MS. Eng. misc. b. 289/F.1
Former ref: CSAC 71.1.80/F.1

Scope and Content:

'An expression for the Sine of a Fourier Series', by C. Strachey and P.J. Wallis, Phil. Mag. Ser.7, xxxvii, February 1946.

Offprint.

Acknowledges permission to publish from Standard Telephones and Cables Limited.


Publication
Date: 1946-1952
Shelfmark: MS. Eng. misc. b. 289/F.2
Former ref: CSAC 71.1.80/F.2

Scope and Content:

'Hahn's Functions Sm(α) and Um(α)', by C. Strachey and P.J. Wallis, Phil. Mag. Ser.7, xxxvii, February 1946.

Offprint.

Acknowledges permission to publish from Standard Telephones and Cables Limited.

Related Material:

For Strachey's paper 'Logical or non-mathematical programmes', Proc. A.C.M. Conf. 1952, see MS. Eng. misc. b. 258/C.32.



Publication
Date: Oct 1954
Shelfmark: MS. Eng. misc. b. 289/F.3
Former ref: CSAC 71.1.80/F.3

Scope and Content:

'The "Thinking" Machine', Encounter, III

Photocopy of published article.


Publication
Date: 1959
Shelfmark: MS. Eng. misc. b. 289/F.4
Former ref: CSAC 71.1.80/F.4

Scope and Content:

The Institution of Electrical Engineers, Measurement and Control Section: Specialist discussion meetings on new digital computer technique, 16-17 February 1959. Proc. I.E.E., 106, Part B, no. 29, September 1959.

Contains Strachey's paper 'Programme-controlled time sharing', his opening remarks to Discussion on 'Special aspects of logical design - I' and various contributions to discussions at other sessions.

Offprint.


Draft
Date: Jun 1959
Shelfmark: MS. Eng. misc. b. 289/F.5
Former ref: CSAC 71.1.80/F.5

Scope and Content:

'"Elimination" methods in matrix eigenvalue problems', by Strachey and J.G.F. Francis

Duplicated typescript.

Related Material:

(An early version of work later published as MS. Eng. misc. b. 289/F.12).

See also MS. Eng. misc. b. 265/C.112.



Paper
Date: 1959
Shelfmark: MS. Eng. misc. b. 289/F.6
Former ref: CSAC 71.1.80/F.6

Scope and Content:

'Time sharing in large fast computers'.

Typescript abstract, and 2 typescript versions of a paper read at the UNESCO Conference on Information Processing, Paris, July 1959.

Strachey describes the paper as follows: "'Time Sharing in Large Fast Computers' was probably the first paper to discuss time-sharing and multi-programming as we now know them. It is a matter of history that the time-sharing idea became extremely fashionable in the middle sixties and dominated much of the work on computing at that time. When I wrote the paper in 1959 I, in common with everyone else, had no idea of the difficulties which would arise in writing the software to control either the time-sharing or multi-programming. If I had I should not have been so enthusiastic about them."


Publication
Date: n.d.
Shelfmark: MS. Eng. misc. b. 289/F.7
Former ref: CSAC 71.1.80/F.7

Scope and Content:

'On Taking the Square Root of a Complex Number', The Computer Journal, 2.

Offprint.


Draft
Date: 1960
Shelfmark: MS. Eng. misc. b. 289/F.8
Former ref: CSAC 71.1.80/F.8

Scope and Content:

Paper on 'learning programmes'.

Two drafts (not identical), dated April 1960, of comments and discussion by Strachey on ideas for self-organising programmes by Mr. Maine and Dr. Ross Ashby.


Draft
Date: 1960
Shelfmark: MS. Eng. misc. b. 289/F.9
Former ref: CSAC 71.1.80/F.9

Scope and Content:

'Initial Definition of Interpreted Functions'.

Two drafts, variously dated October and November 1960 (perhaps related to work on List Processing Language).


Publication, with related material
Date: 1960
Shelfmark: MS. Eng. misc. b. 289/F.10
Former ref: CSAC 71.1.80/F.10

Scope and Content:

'Two Contributions to the Techniques of Queuing Problems', The Computer Journal, 3, July 1960.

Manuscript draft, correspondence with editors and colleagues regarding the paper, revisions and corrections, corrected proof, offprint of published paper.


Publication, with related material
Date: 1960-1961
Shelfmark: MS. Eng. misc. b. 289/F.11
Former ref: CSAC 71.1.80/F.11

Scope and Content:

'The Characteristics of Computers of the Second Decade', discussion meeting of the British Computer Society, held at Northampton College, September 1960. The Computer Bulletin, March 1961.

Strachey opened the first general discussion session, and made several contributions to the discussion.

Offprint of proceedings.


Publication, with related material
Date: 1961
Shelfmark: MS. Eng. misc. b. 289/F.12
Former ref: CSAC 71.1.80/F.12

Scope and Content:

'The Reduction of a Matrix to Codiagonal Form by Eliminations', by Strachey and J.G.F. Francis, The Computer Journal, 4, July 1961.

Manuscript drafts of paper, correspondence with editor, offprint of published paper.

Related Material:

See also MS. Eng. misc. b. 265/C.112 and MS. Eng. misc. b. 289/F.5.



'Real Eigenvalues on EDSAC'
Date: 1961
Shelfmark: MS. Eng. misc. b. 289/F.13
Former ref: CSAC 71.1.80/F.13

Scope and Content:

Notes, routines and printouts, some with notes and comments by M.V. Wilkes, various dates April 1961.

Typescript of paper on 'Real Roots of an Unsymmetric Matrix', 5 pages, March 1961.

Based on program outlined in MS. Eng. misc. b. 289/F.12.


ALGOL Programs
Date: 1961
Shelfmark: MS. Eng. misc. b. 289/F.14
Former ref: CSAC 71.1.80/F.14

Scope and Content:

Includes:

  • Codiagonalisation
  • Derivative Form
  • Real Roots

Five bundles and loose papers of notes and routines on above topics, various dates, March-April 1961.

Includes correspondence from M.V. Wilkes expressing satisfaction with the use of ALGOL for these problems.

Based on program outlined in MS. Eng. misc. b. 289/F.12.


Publication, with related material
Date: 1961
Shelfmark: MS. Eng. misc. b. 289/F.15
Former ref: CSAC 71.1.80/F.15

Scope and Content:

'Some proposals for improving the efficiency of ALGOL 60' (with M.V. Wilkes), Communications of the ACM.

Miscellaneous manuscript plans and drafts for paper, including comments by P.J. Landin, various dates June-July 1961.

First published as Technical Memorandum 61/5, 29 July 1961, University Mathematical Laboratory, Cambridge.

A copy of Technical Memorandum 61/5 is included here.


Publication, with related material
Date: 1961-1962
Shelfmark: MS. Eng. misc. b. 289/F.16
Former ref: CSAC 71.1.80/F.16

Scope and Content:

'Some proposals for improving the efficiency of ALGOL 60' (with M.V. Wilkes), Communications of the ACM.

Correspondence with collaborator, colleagues and editors regarding publication of the paper and reactions to it. May 1961-February 1962.

First published as Technical Memorandum 61/5, 29 July 1961, University Mathematical Laboratory, Cambridge.

An offprint of the published paper is included here.


Shorter publications, reviews, reports
Date: 1959-1960
Shelfmark: MS. Eng. misc. b. 289/F.17
Former ref: CSAC 71.1.80/F.17

Scope and Content:

Contains:

  • Comment on Genie. An Intermediate Range Assembly System, 20 July 1960 [9].
  • Report on Chorofas: 'Advanced Programming Systems', 12 October 1960 [10].
  • Letter to the Editor, New Scientist, on 'Computers and Decision Making', 16 February 1960 [11].
  • Review for Computing Reviews, 20 July 1960 [12].
  • Press-cutting of Art Buchwald's interview with Strachey in New York, N.Y. Herald Tribune, 19 June 1959 [13].
  • Manuscript draft paper on 'Automatic Programming', n.d. [14].

Note

The numbers in square brackets indicate a numbering system used by Strachey, not corresponding to chronological order, or including his major papers.


Shorter publications, reviews, reports
Date: 1960-1961
Shelfmark: MS. Eng. misc. b. 289/F.18
Former ref: CSAC 71.1.80/F.18

Scope and Content:

Contains:

  • Copy of The Times Supplement on Computers in Commerce, 4 October 1960 [15].
  • Review by Strachey of Annual Review in Automatic Programming, ed. R. Goodman. (Contains the papers presented at the Brighton Conference, April 1961, see MS. Eng. misc. b. 285/E.2), several drafts and versions, January 1961 [16].
  • 'Bitwise Operations', 3 pages with 3 pages of calculations, for Communications of the A.C.M., January 1961 [17].
  • Review of P.H. Nidditch, Elementary Logic of Science and Mathematics, 24 January 1961 [18].
  • Manuscript solution to a problem in New Scientist, 7 March 1961 [19].

Note

The numbers in square brackets indicate a numbering system used by Strachey, not corresponding to chronological order, or including his major papers.

Related Material:

See also MS. Eng. misc. b. 253/A.72.



Shorter publications, reviews, reports
Date: 1961-1962
Shelfmark: MS. Eng. misc. b. 289/F.19
Former ref: CSAC 71.1.80/F.19

Scope and Content:

Contains:

  • Review of C.V.L. Smith, Electronic Digital Computers, for Computing Reviews, 11 July 1961 [22].
  • Review of J.E. Whitesitt, Boolean Algebra and its Applications, for Computing Reviews, 11 July 1961 [23].
  • Review of The Logical Design of STRETCH, ed. W. Buchholz, manuscript and typescript versions, May 1962 [28].
  • Review of Cooper, 'Formal Differentiation of Algebraic Expressions', 8 February 1962 [30].
  • Review of G.L. Hollander, 'Drum Organisation for Strobe Addressing', for Computing Reviews, [31].
  • Offprint of a report on the Zurich Conference on ALGOL with manuscript note by Strachey, 'This is one of the early papers on ALGOL and in fact refers to ALGOL-58. It is now of historical interest only'. [32].
  • Review of K.E. Iverson, A programming language, for Computing Reviews, 1962 [33].

Note

The numbers in square brackets indicate a numbering system used by Strachey, not corresponding to chronological order, or including his major papers.


Association of Computing Machinery (A.C.M.)
Date: 1960-1974
Shelfmark: MS. Eng. misc. b. 289/F.20
Former ref: CSAC 71.1.80/F.20

Scope and Content:

Correspondence with editors regarding Strachey's contributions to Computing Reviews and Communications of the A.C.M.

Includes reviews and reports by Strachey, various dates 1960-1962, 1966, 1973-1974.


Paper, with related material
Date: 1961-1962
Shelfmark: MS. Eng. misc. b. 289/F.21
Former ref: CSAC 71.1.80/F.21

Scope and Content:

Manuscript and typescript notes on 'Use of Computers', perhaps for a talk given at Manchester College of Science and Technology, or prepared for B.V. Bowden, Principal of College.

Includes 2 letters from B.V. Bowden, September 1961 and November 1962 and printed background material, including the script of the talk 'From Hunch to Science', by Barbara Wootton, broadcast 20 February 1962.


Publication, with related material
Date: 1962
Shelfmark: MS. Eng. misc. b. 289/F.22
Former ref: CSAC 71.1.80/F.22

Scope and Content:

'A new tool of the intellect', The Observer Weekend Review, 18 February 1962.

Manuscript draft of the article, revisions and corrections, editorial correspondence and correspondence with readers of the article, and press-cutting of the article as published.


Publication
Date: 1962
Shelfmark: MS. Eng. misc. b. 289/F.23
Former ref: CSAC 71.1.80/F.23

Scope and Content:

Contributions to Discussion meeting of British Computer Society, 18 April 1962.

Reprint from The Computer Journal, 5, 1962.


Publication
Date: 1963
Shelfmark: MS. Eng. misc. b. 289/F.24
Former ref: CSAC 71.1.80/F.24

Scope and Content:

'The main features of CPL' (by Barron, Buxton, Hartley, Nixon and Strachey).

Reprint from The Computer Journal, 6, 1963.

Related Material:

See also MS. Eng. misc. b. 268/C.141.



'Computers and University Research'
Date: 1962
Shelfmark: MS. Eng. misc. b. 290/F.25
Former ref: CSAC 71.1.80/F.25

Scope and Content:

Includes:

  • Two drafts (June 1962) of a paper prepared at the request of P.M.S. Blackett, and later circulated as a paper for the D.S.I.R. Working Party on Computer Science.
  • Correspondence with Blackett and H. Jones regarding the feasibility of establishing a research team in computing theory at Imperial College.
  • 'Proposed Group to Study Mathematical Aspects of Computer Use', 4-page typescript annotated by Strachey.
  • 'Gill's proposals to Imperial College'.
  • Copy of an application to D.S.I.R. by H. Jones for a grant to investigate 'the mathematical basis of computer programming', and a copy of the letter withdrawing the application.
  • One-page, untitled note by Strachey, 27 June 1962, on mathematical theory of information processing, with manuscript note by Strachey 'submitted to Churchill College'.
  • 'A project for investigation' by P.J. Landin, 29 June 1962 (2 pages).
Related Material:

See MS. Eng. misc. b. 286/E.22-MS. Eng. misc. b. 286/E.31



'The Computer Industry'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 290/F.26
Former ref: CSAC 71.1.80/F.26

Scope and Content:

Correspondence, including invitation to write the paper, list of those to whom it was circulated, and comments from them (includes 2-page typed comments from S. Gill).

A copy of the E.M.I. Research paper is included here.


'The Computer Industry'
Date: 1964
Shelfmark: MS. Eng. misc. b. 290/F.27
Former ref: CSAC 71.1.80/F.27

Scope and Content:

Manuscript draft, typescript and duplicated versions of the paper, 9 June 1964.

Research material with comparative performance figures, press-cuttings, etc.


'The Future of Computers in Great Britain'
Date: 1965
Shelfmark: MS. Eng. misc. b. 290/F.28
Former ref: CSAC 71.1.80/F.28

Scope and Content:

Several manuscript drafts of a paper prepared by Strachey for B.V. Bowden, January 1965, on the use of small computers for teaching purposes in schools.

Folder also includes a copy of 'Tentative Plan for a National Computer Authority' by S. Gill, September 1964, sent to Strachey for information; correspondence with Bowden and C.P. Snow; correspondence and information regarding Digital Equipment Corporation to whom Strachey had written for information regarding their PDP 8 Computer and its suitability for teaching purposes; copy of 'The Government, The Computer Industry and Computer Technology in the United Kingdom', by W.S. Elliott, 16 February 1965. (Section 5: Computers and Computer Courses for Schools and Colleges draws on Strachey's papers 'The Computer Industry', June 1964 and the paper prepared for Lord Bowden above.)


Work on Computers for Schools
Date: 1965
Shelfmark: MS. Eng. misc. b. 290/F.29
Former ref: CSAC 71.1.80/F.29

Scope and Content:

Carbon of a note by Strachey 'Computers in Great Britain' (on computer education) sent January 1965 from Churchill College, especially on the use of a PDP8 for the purpose, and related correspondence.


Work on Computers for Schools
Date: [1965?]
Shelfmark: MS. Eng. misc. b. 290/F.30
Former ref: CSAC 71.1.80/F.30

Scope and Content:

Manuscript (untitled and undated, but probably prepared for above scheme) of information about computing, devised for school children and introducing competition 'to arouse interest in electronic computers and in the process of writing programs for them', accompanied by problems for solving.

Related Material:

See MS. Eng. misc. b. 285/E.11-MS. Eng. misc. b. 285/E.13 and MS. Eng. misc. b. 297/H.10 for other material on computers in education.



Paper and publication, with related material
Date: 1964-1966
Shelfmark: MS. Eng. misc. b. 290/F.31
Former ref: CSAC 71.1.80/F.31

Scope and Content:

'Towards a Formal Semantics'.

Paper submitted at the I.F.I.P. Conference, Vienna, September 1964.

Typed draft with manuscript corrections and revised version dated July 1964, manuscript list of errata and references.

Offprint of the paper from conference proceedings, ed. T.B. Steel, North-Holland Publishing Co., Amsterdam, 1966 (includes discussion of the paper at the conference).

Related Material:

See MS. Eng. misc. b. 287/E.36.



Publication and papers
Date: 1965-1967
Shelfmark: MS. Eng. misc. b. 290/F.32
Former ref: CSAC 71.1.80/F.32

Scope and Content:

'A general purpose macrogenerator', The Computer Journal, 8, October 1965.

Offprint of published paper.

Two related papers: 'Proposed Scheme for Segmenting CI's and SSR's' signed CS, February 1965; 'A Comparison of the Facilities of TRAC, SNOBOL, LISP, COMIT and the General Purpose Macrogenerator of C. Strachey', Cambridge Language Research Unit Document 4, August 1967, annotated by Strachey.

Related Material:

See MS. Eng. misc. b. 273/C.197-MS. Eng. misc. b. 273/C.201.



Draft specification
Date: 2 Jul 1966
Shelfmark: MS. Eng. misc. b. 290/F.33
Former ref: CSAC 71.1.80/F.33

Scope and Content:

Draft specification for 'Magtyper', 3 pages.


Paper
Date: 1966
Shelfmark: MS. Eng. misc. b. 290/F.34
Former ref: CSAC 71.1.80/F.34

Scope and Content:

'How to make computers do difficult things easily'.

Summary only of a paper given by Strachey at the Machine Intelligence Workshop, 1966, held at the Experimental Programming Unit (later, Department of Machine Intelligence), Edinburgh.

Folder contains abstracts of all papers given at the Workshop, which included R.J. Popplestone's POP-1, and related material on the Experimental Programming Unit.


'Systems Analysis and Programming', Scientific American, 215
Date: 1966-1969
Shelfmark: MS. Eng. misc. b. 290/F.35
Former ref: CSAC 71.1.80/F.35

Scope and Content:

Editorial correspondence including the invitation to write the article (for a special September issue of Scientific American on Information) and its content, miscellaneous additions and revisions, and proposed German translation.


'Systems Analysis and Programming', Scientific American, 215
Date: n.d.
Shelfmark: MS. Eng. misc. b. 291/F.36
Former ref: CSAC 71.1.80/F.36

Scope and Content:

Extensive manuscript working papers, plans, diagrams and drafts, including comments by colleagues.


'Systems Analysis and Programming', Scientific American, 215
Date: n.d.
Shelfmark: MS. Eng. misc. b. 291/F.37
Former ref: CSAC 71.1.80/F.37

Scope and Content:

Folder labelled 'Scientific American. Spare copies'.

Manuscript drafts and revisions (not spare copies).


'Systems Analysis and Programming', Scientific American, 215
Date: n.d.
Shelfmark: MS. Eng. misc. b. 291/F.38
Former ref: CSAC 71.1.80/F.38

Scope and Content:

Extensively revised proofs and diagrams.


'Systems Analysis and Programming', Scientific American, 215
Date: 1970
Shelfmark: MS. Eng. misc. b. 291/F.39
Former ref: CSAC 71.1.80/F.39

Scope and Content:

Copy of Scientific American, 215, with article as published.

Later correspondence regarding the inclusion of the article in Scientific American Reader on Computers and Computation.


Note

Strachey described this as 'a popular article ... it describes, amongst other things, a draughts-playing program'. Strachey found difficulty in writing, and in adequately illustrating, the article, of which many drafts, revisions and alternatives survive in the folders both of working papers and editorial correspondence.


Unpublished paper: 'Fundamental Concepts in Programming Languages'
Date: 1967
Shelfmark: MS. Eng. misc. b. 292/F.40
Former ref: CSAC 71.1.80/F.40

Scope and Content:

Lecture notes, circulated for the Summer School on Computer Programming, Copenhagen, August 1967, duplicated typescript with manuscript corrections and revisions, 17 pages.

The lectures were originally given from these notes, which were the basis for all subsequent written versions.


Note

This was a course of lectures given at the International Summer School in Computer Programming, Copenhagen, August 1967. Publication of the Proceedings was held up by editorial dilatoriness for so long that it was shelved, and Strachey continued to revise and rewrite his paper in the hope of having it published elsewhere as an extended journal article or a monograph. It remained unpublished, though some 250 copies were privately circulated.

Strachey described Fundamental Concepts as 'an important paper; it describes the basic principles underlying computing in a relatively unmathematical manner'.

Related Material:

See MS. Eng. misc. b. 298/H.19-MS. Eng. misc. b. 298/H.21.



Unpublished paper: 'Fundamental Concepts in Programming Languages'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 292/F.41
Former ref: CSAC 71.1.80/F.41

Scope and Content:

Autograph manuscript, corrected typescript and revisions of paper 1.1, 1.2. Preliminaries, 2.1-2.6. Basic Concepts.


Unpublished paper: 'Fundamental Concepts in Programming Languages'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 292/F.42
Former ref: CSAC 71.1.80/F.42

Scope and Content:

Autograph manuscript, corrected typescript and revisions of paper. 3.1-3.2. Conceptual Constructs.


Unpublished paper: 'Fundamental Concepts in Programming Languages'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 292.F.43
Former ref: CSAC 71.1.80/F.43

Scope and Content:

Autograph manuscript, corrected typescript and revisions of paper. 3.3-3.4. Recursion. Commands and Sequencing.


Unpublished paper: 'Fundamental Concepts in Programming Languages'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 292/F.44
Former ref: CSAC 71.1.80/F.44

Scope and Content:

Autograph manuscript, corrected typescript and revisions of paper. 3.5. Abstraction and Application.


Unpublished paper: 'Fundamental Concepts in Programming Languages'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 292/F.45
Former ref: CSAC 71.1.80/F.45

Scope and Content:

Autograph manuscript, corrected typescript and revisions of paper. 3.6 (originally 3.5). Functions and Routines as Data Items.


Unpublished paper: 'Fundamental Concepts in Programming Languages'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 292/F.46
Former ref: CSAC 71.1.80/F.46

Scope and Content:

Autograph manuscript, corrected typescript and revisions of paper. 3.7 (originally 3.6). Types and Polymorphism.


Unpublished paper: 'Fundamental Concepts in Programming Languages'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 292/F.47
Former ref: CSAC 71.1.80/F.47

Scope and Content:

Autograph manuscript, corrected typescript and revisions of paper. (Originally 3.7). Compound Data Structures.


Unpublished paper: 'Fundamental Concepts in Programming Languages'
Date: n.d
Shelfmark: MS. Eng. misc. b. 292/F.48
Former ref: CSAC 71.1.80/F.48

Scope and Content:

Autograph manuscript, corrected typescript and revisions of paper 4, Miscellaneous Topics. First typescript version, with manuscript corrections.


Unpublished paper: 'Fundamental Concepts in Programming Languages'
Date: 1967
Shelfmark: MS. Eng. misc. b. 292/F.49
Former ref: CSAC 71.1.80/F.49

Scope and Content:

November 1967 version of the paper, with manuscript comments and alterations by Halsbury, and errata list dated 1967.

Note: The table of contents shows some reallocation and renumbering of sections from that in the manuscript version above, when the section on 'Recursion' was replaced.


Unpublished paper: 'Fundamental Concepts in Programming Languages'
Date: 1967
Shelfmark: MS. Eng. misc. b. 292/F.50
Former ref: CSAC 71.1.80/F.50

Scope and Content:

'Author's Copy' of above, with some manuscript corrections by Strachey and Halsbury, a letter (with 2-page list of 'notes') by Lord Halsbury to whom it had been sent for comment, December 1967.


Unpublished paper: 'Fundamental Concepts in Programming Languages'
Date: 1967-1970
Shelfmark: MS. Eng. misc. b. 292/F.51
Former ref: CSAC 71.1.80/F.51

Scope and Content:

'FCPL Working Papers', miscellaneous notes and drafts, including title pages, errata lists, etc. of various dates.


Unpublished paper: 'Fundamental Concepts in Programming Languages'
Date: 1970
Shelfmark: MS. Eng. misc. b. 292/F.52
Former ref: CSAC 71.1.80/F.52

Scope and Content:

Pressboard binder, titled 'Fundamental Concepts in Programming Languages 1970', a photocopy of sections 1-3 only.


Unpublished paper: 'Fundamental Concepts in Programming Languages'
Date: 1973
Shelfmark: MS. Eng. misc. b. 292/F.53
Former ref: CSAC 71.1.80/F.53

Scope and Content:

Another photocopy of above, with index dated October 1973, and extensive corrections and comments by R. Milne, J.E. Stoy and Strachey.


Unpublished paper: 'Fundamental Concepts in Programming Languages'
Date: 1969-1971
Shelfmark: MS. Eng. misc. b. 292/F.54
Former ref: CSAC 71.1.80/F.54

Scope and Content:

Correspondence with publishers regarding paper or monograph, mainly with the editor of Computing Surveys (includes referees' favourable reports and comments.)

Correspondence with Edinburgh University Press, Clarendon Press, Academic Press (1970), North-Holland Publishing Company (1971).

A duplicated copy of the paper appeared in Bulletin No. 1 of I.F.I.P. Working Group 2.2, 20 February 1969 (see MS. Eng. misc. b. 287/E.39).


Paper
Date: 1967
Shelfmark: MS. Eng. misc. b. 293/F.55
Former ref: CSAC 71.1.80/F.55

Scope and Content:

A 2-page paper entitled 'The Provision of Software', dated December 1967, expressing Strachey's concern that not enough effort and money was being spent on developing software.


Report
Date: 1968
Shelfmark: MS. Eng. misc. b. 293/F.56
Former ref: CSAC 71.1.80/F.56

Scope and Content:

Report on the Multipop system, and POP-2 language, prepared for the Department of Machine Intelligence and Perception, University of Edinburgh (formerly the Experimental Programming Unit.)

Manuscript and typescript versions of the report, with Strachey's notes on the performance of the system, and related material on the reference manual, etc.

Brief correspondence with D. Michie.

Related Material:

See also MS. Eng. misc. b. 290/F.34.



Paper and publication
Date: 1971-1972
Shelfmark: MS. Eng. misc. b. 293/F.57
Former ref: CSAC 71.1.80/F.57

Scope and Content:

One-page note on 'Varieties of Programming Language' dated August 1971, perhaps prepared for the International Computing Symposium, Venice, April 1972.

Errata and comments on the paper, March 1972.

Manuscript of the text as circulated as Technical Monograph PRG- 10, September 1972.

The paper was published in the Symposium Proceedings.


Unpublished 'Paper on Programming Languages'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 293/F.58
Former ref: CSAC 71.1.80/F.58

Scope and Content:

Manuscript drafts and working notes for a paper, including headings for a talk or speech at a meeting on ALGOL, n.d., and kept with above but perhaps intended for another occasion.


Unpublished 'Paper on Programming Languages'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 293/F.59
Former ref: CSAC 71.1.80/F.59

Scope and Content:

Folder of drafts, mainly on existing languages, 'Assignment Statements', and 3 sections on 'Subroutines'.

(Material kept together in this folder by Strachey, though possibly used on different occasions.)


Publication
Date: 1972
Shelfmark: MS. Eng. misc. b. 293/F.60
Former ref: CSAC 71.1.80/F.60

Scope and Content:

'OS6 - An experimental operating system for a small computer. Part I: General principles and structure' (with J.E. Stoy). The Computer Journal, 15 September 1972.

Offprint of published article.


R.E. Milne's Ph.D. Thesis
Date: 1974
Shelfmark: MS. Eng. misc. b. 293/F.61
Former ref: CSAC 71.1.80/F.61

Scope and Content:

Typescript copy of R.E. Milne's Ph.D. Thesis 'The formal semantics of computer languages and their implementations'. Chapter I, 'Standard Semantics'.

Includes manuscript comments and notes by Strachey.


Note

Strachey was Milne's Supervisor for his Thesis 'The formal semantics of computer languages and their implementations', submitted for a Doctorate of Philosophy at Cambridge.


R.E. Milne's Ph.D. Thesis
Date: 1974
Shelfmark: MS. Eng. misc. b. 293/F.62
Former ref: CSAC 71.1.80/F.62

Scope and Content:

Typescript copy of R.E. Milne's Ph.D. Thesis 'The formal semantics of computer languages and their implementations'. Chapter II, 'Store Semantics'.

Includes manuscript comments and notes by Strachey.


R.E. Milne's Ph.D. Thesis
Date: 1974
Shelfmark: MS. Eng. misc. b. 293/F.63
Former ref: CSAC 71.1.80/F.63

Scope and Content:

Typescript copy of R.E. Milne's Ph.D. Thesis 'The formal semantics of computer languages and their implementations'. Chapter III, 'Stack Semantics'.

Includes manuscript comments and notes by Strachey.


R.E. Milne's Ph.D. Thesis
Date: 1974
Shelfmark: MS. Eng. misc. b. 293/F.64
Former ref: CSAC 71.1.80/F.64

Scope and Content:

Typescript copy of R.E. Milne's Ph.D. Thesis 'The formal semantics of computer languages and their implementations'. 'Appendix'.


'A theory of programming language semantics'
Date: 1974
Shelfmark: MS. Eng. misc. b. 294/F.65
Former ref: CSAC 71.1.80/F.65

Scope and Content:

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.


Note

After their subsequent collaboration for the Adams Prize, Strachey devoted much of the last months of his life to preparing the manuscript for publication, but died in May 1975 with the task incomplete. Milne rewrote and completed the work, which was published as A Theory of Programming Language Semantics by Robert Milne and Christopher Strachey, Chapman and Hall, 1976.


'A theory of programming language semantics'
Date: 1974
Shelfmark: MS. Eng. misc. b. 294/F.66
Former ref: CSAC 71.1.80/F.66

Scope and Content:

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.


'A theory of programming language semantics'
Date: 1973-1974
Shelfmark: MS. Eng. misc. b. 294/F.67
Former ref: CSAC 71.1.80/F.67

Scope and Content:

'Elementary Results', miscellaneous notes and calculations, various dates, November 1973, February, July, September 1974.


'A theory of programming language semantics'
Date: 1974
Shelfmark: MS. Eng. misc. b. 294/F.68
Former ref: CSAC 71.1.80/F.68

Scope and Content:

Manuscript notes, and first manuscript drafts, July-September 1974.


'A theory of programming language semantics'
Date: 1974
Shelfmark: MS. Eng. misc. b. 294/F.69
Former ref: CSAC 71.1.80/F.69

Scope and Content:

Manuscript notes and drafts, Preface and Sections 1.2-1.9, September-December 1974.


'A theory of programming language semantics'
Date: Aug-Nov 1974
Shelfmark: MS. Eng. misc. b. 294/B.70
Former ref: CSAC 71.1.80/F.70

Scope and Content:

Manuscript notes and drafts, Sections 3.1-3.8


'A theory of programming language semantics'
Date: 1974-1975
Shelfmark: MS. Eng. misc. b. 294/F.71
Former ref: CSAC 71.1.80/F.71

Scope and Content:

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.


'A theory of programming language semantics'
Date: Mar 1974-Jan 1975
Shelfmark: MS. Eng. misc. b. 294/F.72
Former ref: CSAC 71.1.80/F.72

Scope and Content:

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


'A theory of programming language semantics'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 294/F.73
Former ref: CSAC 71.1.80/F.73

Scope and Content:

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


'A theory of programming language semantics'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 294/F.74
Former ref: CSAC 71.1.80/F.74

Scope and Content:

Photocopy of Preface, Abstract and specimen pages of the Adams Essay, submitted to a publisher.


'A theory of programming language semantics'
Date: n.d.
Shelfmark: MS. Eng. misc. b. 294/F.75
Former ref: CSAC 71.1.80/F.75

Scope and Content:

Brief correspondence with the University of Cambridge regarding the Adams Essay.

Includes errata list.


Circulation lists
Date: 1961-1963
Shelfmark: MS. Eng. misc. b. 294/F.76
Former ref: CSAC 71.1.80/F.76

Scope and Content:

Circulation lists for Strachey's publications.

G   Lectures, Talks and Papers


Scope and Content:

The substance varies from brief notes and headings for talks to substantial manuscript or typescript drafts, sometimes accompanied by research material, manufacturers' literature and correspondence.

The earlier lectures were undertaken while Strachey was employed by the National Research Development Corporation (N.R.D.C.) and often at its request; almost all of these refer to problems arising from projects in hand such as the Ferranti Pegasus, CPL, theory of programming, etc.

Arrangement: The material is presented chronologically.

Related Material:

See