Higher-Order and Symbolic Computation, 13(1/2)89-101
Induction, Domains, Calculi: Strachey's Contributions to Programming-Language EngineeringDavid A. Schmidt, Computing and Information Sciences Department, Kansas State University, 234 Nichols Hall, Manhattan, KS 66506 USA
|
Abstract: In collaboration with his colleagues at Oxford,
Christopher Strachey pioneered the analysis of programming languages
in terms of semantic features. Three of Strachey's contributions --
inductive definition of semantics, semantic-domain definitions, and
calculi for semantic description -- are presented, and their
consequences on languages research are described. Strachey's impact,
present and future, on the computer programming "mainstream" is also
outlined.
Keywords: denotational semantics, induction, semantic domains, lambda-calculus |
This article can be downloaded [here].