Christopher Strachey: Recollections of his influence

Higher-Order and Symbolic Computation

Volumn 13, Issue 1, 2000, Pages 65-67

  Gordon, Mike ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; MACROS; SUBROUTINES;

GENERAL PURPOSE MACROGENERATORS (GPM);

COMPUTER PROGRAMMING LANGUAGES;

EID: 0033692467     PISSN: 13883690     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1010097524009     Document Type: Article

References (9)

1. Barren, D.W. and Strachey, C. Programming. In Advances in Programming and Non-numerical Computation, L. Fox (Ed.). Pergammon Press, 1966, pp. 49-82.
2. Gordon, M.J.C. An investigation of Lit. Technical Report Memorandun MIP-R-101, University of Edinburgh, School of Artificial Intelligence, May 1973.
3. Gordon, M.J.C. Operational reasoning and denotational semantics. Technical Report Computer Science Department, Report No. STAN-CS-75-506, Stanford University, August 1975.
4. Gordon, M.J.C. Towards a semantic theory of dynamic binding. Technical Report Computer Science Department, Report No. STAN-CS-75-507, Stanford University, August 1975.
5. Gordon, M.J.C. The Denotational Description of Programming Languages. Springer-Verlag, 1979.
6. Milne, R.E. The formal semantics of computer languages and their implementations. Ph.D. Thesis, The University of Cambridge, 1974. (Note: Milne obtained his Ph.D. from Cambridge, but he worked under Strachey at Oxford.)
7. Reynolds, J.C. On the relation between direct and continuation semantics. In Proceedings of the Second Colloquium on Automata, Languages and Programming, J. Loeckx (Ed.). Springer-Verlag, 1974, pp. 141-156.
8. Strachey, C. A general purpose macrogenerator. The Computer Journal 8(6) (1965) 225-241.
9. Wadsworth, C.P. The relation between computational and denotational properties for Scott's DCQ models of the lambda-calculus. SI AM Journal of Computing 5 (1976) 488-521.