<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>

Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory

Computers & Technology

Stoy, Joseph E. E.

Computer Science

MIT Press]

See the best price to sell, buy, or rent books by Stoy, Joseph E. E.. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Stoy, Joseph E. E.

See the best price to sell, buy, or rent books by Stoy, Joseph E. E.. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory