Skip to main content
SpringerLink
Log in

Christopher Strachey: Recollections of His Influence

  • Published:
Higher-Order and Symbolic Computation

Abstract

My early research was inspired by the mathematical semantics of Scott and Strachey. Two such topics, recounted in this paper, were the fixed-point analysis of pointer loops and the expressibility of a style of functional programming introduced by Barron and Strachey.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Barron, 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.

    Google Scholar 

  9. Wadsworth, C.P. The relation between computational and denotational properties for Scott's D∞ models of the lambda-calculus. SIAM Journal of Computing 5 (1976) 488-521.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Laboratory, University of Cambridge, New Museums Site, Pembroke Street, Cambridge, CB2 3QG, U.K.

    Mike Gordon

Authors
  1. Mike Gordon
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Gordon, M. Christopher Strachey: Recollections of His Influence. Higher-Order and Symbolic Computation 13, 65–67 (2000). https://doi.org/10.1023/A:1010097524009

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1010097524009

Search

Navigation