"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 kin...

Buy Now From Amazon

"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



Similar Products

The Denotational Description of Programming Languages: An IntroductionThe Little Prover (MIT Press)Deep Learning (Adaptive Computation and Machine Learning series)Programming in HaskellAlgorithms to Live By: The Computer Science of Human DecisionsStructure 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