On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Denotational semantics: a methodology for language development
Denotational semantics: a methodology for language development
ACM SIGPLAN Notices
4th Annual Symposium on Theoretical Aspects of Computer Sciences on STACS 87
Programming linguistics
Programming in Martin-Lo¨f's type theory: an introduction
Programming in Martin-Lo¨f's type theory: an introduction
Commentary on standard ML
Semantics of programming languages: structures and techniques
Semantics of programming languages: structures and techniques
Action semantics
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Combining functional and logic programming languages
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Abstract interpretation: a semantics-based tool for program analysis
Handbook of logic in computer science (vol. 4)
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Foundations of programming languages
Foundations of programming languages
The SLam calculus: programming with secrecy and integrity
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A calculus for cryptographic protocols
Information and Computation
An axiomatic basis for computer programming
Communications of the ACM
The next 700 programming languages
Communications of the ACM
Revised report on the algorithm language ALGOL 60
Communications of the ACM
Mathematical semantics of SNOBOL4
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The Haskell: The Craft of Functional Programming
The Haskell: The Craft of Functional Programming
The Structure of Typed Programming Languages
The Structure of Typed Programming Languages
Communication and Concurrency
Principles of Programming Languages
Principles of Programming Languages
An Introduction to the Study of Programming Languages
An Introduction to the Study of Programming Languages
A Theory of Objects
Principles of Program Analysis
Principles of Program Analysis
The Java Language Specification
The Java Language Specification
The Definition of Standard ML
A Theory of Programming Language Semantics
A Theory of Programming Language Semantics
Towards a Formal Description of Ada
Towards a Formal Description of Ada
A semantic comparison of LISP and SCHEME
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Towards a semantic theory of dynamic binding.
Towards a semantic theory of dynamic binding.
Chapter II: Notes on data structuring
Structured programming
Hi-index | 0.00 |
In collaboration with his colleagues at Oxford,Christopher Strachey pioneered the analysis of programming languagesin terms of semantic features. Three of Strachey'scontributions—inductive definition of semantics, semantic-domaindefinitions, 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.