Christopher Strachey: Recollections of His Influence |
| |
| Authors: | Gordon Mike |
| |
| Affiliation: | (1) Computer Laboratory, University of Cambridge, 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 |
| 本文献已被 SpringerLink 等数据库收录！ |
|
