Higher-Order and Symbolic Computation, 13(1/2)65-67
Christopher Strachey: Recollections of His InfluenceMike Gordon, University of Cambridge, Computer Laboratory, New Museums Site, Pembroke Street, Cambridge CB2 3QG, U.K
|
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.
Keywords: semantics, programming |
This article can be downloaded [here].
![[picture of journal cover]](../LISP.JPG)