Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Higher-Order and Symbolic Computation: Abstract, 13(1/2)65-67
[go: Go Back, main page]

Higher-Order and Symbolic Computation, 13(1/2)65-67

Christopher Strachey: Recollections of His Influence

Mike 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]

June 2003 - hosc@brics.dk