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

By Joseph E. Stoy

Book Overview

"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

• Format: Paperback
• Language: English
• ISBN: 0262690764
• ISBN13: 9780262690768
• Release Date: September 1981
• Publisher: MIT Press
• Length: 450 Pages
• Weight: 1.40 lbs.
• Dimensions: 9.0" x 1.0" x 6.0"
• Age Range: 18 years and up
• Grade Range: Postsecondary and higher

Customer Reviews

A Classic, but if you havent read it yet, you probably won't

You can read this for pleasure or personal edification. It's probably quite hard to get hold of now. It's a classic, and it's completely out of date. A bit like Plutarch.