Christopher Strachey

ChristopherChristopher Stratchey
Christopher S. Strachey (16 November 1916 – 18 May 1975) was a British computer scientist.wikipedia
134 Related Articles

Denotational semantics

denotationalfully abstractHistory of denotational semantics
He was one of the founders of denotational semantics, and a pioneer in programming language design.
Denotational semantics originated in the work of Christopher Strachey and Dana Scott published in the early 1970s.

Ray Strachey

Ray CostelloeRay Costelloe StracheyRachel
Christopher Strachey was born on 16 November 1916 to Oliver Strachey and Rachel (Ray) Costelloe in Hampstead, England.
She married at Cambridge on 31 May 1911 the civil servant Oliver Strachey, with whom she had two children, Barbara (born 1912, later a writer) and Christopher (born 1916, later a pioneer computer scientist).

Oliver Strachey

Oliver
Christopher Strachey was born on 16 November 1916 to Oliver Strachey and Rachel (Ray) Costelloe in Hampstead, England.
They had two children, Barbara Strachey (born 1912) and Christopher Strachey (born 1916).

Strachey

He was a member of the Strachey family, prominent in government, arts, administration, and academia.

Barbara Strachey

Barbara
His elder sister was the writer Barbara Strachey.
After the death of her brother, the computer scientist Christopher Strachey, she moved to a small house in Jericho, Oxford in 1975.

Dana Scott

Dana S. ScottScottD. S. Scott
He collaborated with Dana Scott.
His work on automata theory earned him the ACM Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages.

Peter Landin

Peter J. LandinLandinP. J. Landin
For a contract to produce the autocode for the Ferranti Orion computer, Strachey hired Peter Landin who became his one assistant for the duration of Strachey's consulting period.
From 1960 to 1964, he was the assistant to Christopher Strachey when the latter was an independent computer consultant in London.

English draughts

checkersAmerican checkersAmerican Checkers Federation
In his spare time Strachey developed a program for the game of draughts (also known as "checkers"), which he finished a preliminary version in May 1951.
The first English draughts computer program was written by Christopher Strachey, M.A. at the National Physical Laboratory, London.

Donald B. Gillies

GilliesGillies, Donald B.
Together with Donald B. Gillies, he filed 3 patents in computing design including the design of base registers for program relocation.
While at the NRDC, Gillies and Christopher Strachey filed several American, British, and Canadian patents.

Programming Research Group

In 1965, Strachey accepted a position at Oxford University as the first director of the Programming Research Group and later the University's first Professor of Computer Science and fellow of Wolfson College, Oxford.
The PRG was founded by Christopher Strachey in 1965 and after his death, C.A.R. Hoare, FRS took over the leadership in 1977.

Ferranti Pegasus

PegasusPegasus computer
Later, he worked on programming both the Elliott 401 computer and the Ferranti Pegasus computer.
Much of the development was the product of three men: W.S. (Bill) Elliott (Hardware); Christopher Strachey (Software) and Bernard Swann (Marketing and Customer Support).

Fundamental Concepts in Programming Languages

His influential set of lecture notes Fundamental Concepts in Programming Languages formalised the distinction between L- and R- values (as seen in the C programming language).
Fundamental Concepts in Programming Languages were an influential set of lecture notes written by Christopher Strachey for the International Summer School in Computer Programming at Copenhagen in August, 1967.

Currying

curriedcurried formcurries
Strachey also coined the term currying, although he did not invent the underlying concept.
The name "currying", coined by Christopher Strachey in 1967, is a reference to logician Haskell Curry.

General-purpose macro processor

General purpose preprocessorGeneral Purpose Macro ProcessorGeneral Purpose Macrogenerator
The macro language m4 derives much from Strachey's GPM (General Purpose Macrogenerator), one of the earliest macro expansion languages.

Samson Abramsky

AbramskyS. Abramsky
The Department of Computer Science at the University of Oxford has a Christopher Strachey Professorship of Computing, currently held by Samson Abramsky FRS.
Samson Abramsky FRS, FRSE (born 12 March 1953) is a computer scientist who holds the Christopher Strachey Professorship at the Department of Computer Science (formerly the Computing Laboratory), University of Oxford.

CPL (programming language)

CPLCombined Programming Language
He developed the Combined Programming Language (CPL).
Christopher Strachey, David Barron and others were involved in its development.

God Save the Queen

God Save the Kingnational anthemBritish national anthem
Strachey programmed the first ever music performed by a computer; a rendition of the British National Anthem on the Mark II Manchester Electronic Computer at Manchester, in 1951.
The first music proper, a performance of the National Anthem was programmed by Christopher Strachey on the Mark II Manchester Electronic Computer at same venue, in 1951.

M4 (computer language)

m4GNU m4m4 computer language
The macro language m4 derives much from Strachey's GPM (General Purpose Macrogenerator), one of the earliest macro expansion languages.

Peter Mosses

Peter D. Mosses
Peter Mosses studied mathematics as an undergraduate at Trinity College, Oxford, and went on to undertake a DPhil supervised by Christopher Strachey in the Programming Research Group while at Wolfson College, Oxford in the early 1970s.

Department of Computer Science, University of Oxford

Oxford University Computing LaboratoryOxford University Department of Computer ScienceDepartment of Computer Science
The Department of Computer Science at the University of Oxford has a Christopher Strachey Professorship of Computing, currently held by Samson Abramsky FRS.
Complementing the Numerical Analysis Group, the Programming Research Group was set up in 1966 at 45 Banbury Road under the leadership of Christopher Strachey with the aim "to bring some coherence into the present ad hoc nature of programming and software".

Computer scientist

computer science professioncomputer-scientist
Christopher S. Strachey (16 November 1916 – 18 May 1975) was a British computer scientist.

Programming language

programming languageslanguagedialect
He was one of the founders of denotational semantics, and a pioneer in programming language design.

Hampstead

Hampstead, LondonHampstead VillageHampstead, London, England
Christopher Strachey was born on 16 November 1916 to Oliver Strachey and Rachel (Ray) Costelloe in Hampstead, England.

Richard Strachey

Sir Richard StracheyLieutenant-General Sir Richard StracheyLt-Gen Sir Richard Strachey
Oliver Strachey was the son of Richard Strachey and the great grandson of Sir Henry Strachey, 1st Baronet.

Henry Strachey, 1st Baronet

Henry StracheySir Henry Strachey, 1st BaronetSir Henry Strachey
Oliver Strachey was the son of Richard Strachey and the great grandson of Sir Henry Strachey, 1st Baronet.