Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Product Description
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
<p>"First book-length exposition of the denotational (or `mathematical' or `functional') approach to the formal semantics of programming languages (in contrast to `operational' and `axiomatic' approaches). Treats various kinds of languages, beginning with the pure-lambda-calculus and progressing through languages with states, commands, jumps, and assignments. This somewhat discursive account is a valuable compilation of results not otherwise available in a single source."-- American Mathematical Monthly</p>
Technical Specifications
You might also like
The Denotational Description of Programming Languages: An Introduction
The Little Prover (MIT Press)
Deep Learning (Adaptive Computation and Machine Learning series)
Programming in Haskell
Algorithms to Live By: The Computer Science of Human Decisions
Structure and Interpretation of Computer Programs - 2nd Edition (MIT Electrical Engineering and Computer Science)
Artificial Intelligence: A Modern Approach (3rd Edition)
The Art of the Metaobject Protocol
The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition
Practical Foundations for Programming Languages