Product Description
"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
This item is not eligible for Amazon Prime, but millions of other items are. Join Amazon Prime today. Already a member? Sign in.
|
|||||||||
Editorial Reviews
Product Details
Would you like to update product info or give feedback on images?
|
Citations
(learn more)
63
books
cite this book:
See all 63 books citing this book
- ESOP 86: European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986. Proceedings (Lecture Notes in Computer Science) by Bernard Robinet on page 29, page 159, and page 236
- Functional Programming Languages and Computer Architecture: 5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings (Lecture Notes in Computer Science) by John Hughes on page 214, and page 258
- Algol-like Languages (Progress in Theoretical Computer Science) by Peter O'Hearn in Front Matter, and page 270
- Control Flow Semantics (Foundations of Computing) by Jaco de Bakker in Back Matter
- Programming Language Implementation and Logic Programming: International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings (Lecture Notes in Computer Science) by Pierre Deransart on page 357
See all 63 books citing this book
Suggested Tags from Similar Products( What's this?)Be the first one to add a relevant tag (keyword that's strongly related to this product).
Help others find this product - tag it for Amazon search
No one has tagged this product for Amazon search yet. Why not be the first to suggest a search for which it should appear?
|
 |
|||||||