Christopher Strachey
6 published titles
Toward a mathematical semantics for computer languages
(Contributor)
1 edition
- ISBN: 0902928031
- Oxford University Computing Laboratory, Programming Research Group
- 1971
- Details
OS6, an operating system for a small computer
(Contributor)
1 edition
- ISBN: 090292804X
- Oxford University Computing Laboratory, Programming Research Group
- 1972
- Details
The text of OSPub
1 edition
- ISBN: 0902928058
- Oxford University Computing Laboratory, Programming Research Group
- 1972
- Details
The varieties of programming language
1 edition
- ISBN: 0902928074
- Oxford University Computing Laboratory, Programming Research Group
- 1973
- Details
Continuations : a mathematical semantics for handling full jumps
1 edition
- ISBN: 0902928090
- Oxford University Computing Laboratory, Programming Research Group
- 1974
- Details
A theory of programming language semantics
(Contributor)
1 edition
- ISBN: 0412142600
- Chapman and Hall
- 1976
- Details