The Denotational Description of Programming Languages: An Introduction
"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
| Country | USA |
| Brand | MIT Press |
| Manufacturer | MIT Press |
| Binding | Paperback |
| IsAdultProduct | |
| Height | 9 |
| Length | 6 |
| Weight | 1.34922904344 |
| Width | 1.02 |
| ReleaseDate | 1981-09-30 |