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
Read More
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
Read Less
Add this copy of Denotational Semantics: the Scott-Strachey Approach to to cart. $16.01, good condition, Sold by Zubal Books rated 4.0 out of 5 stars, ships from Cleveland, OH, UNITED STATES, published 1977 by The MIT Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
xxx, 414 pp., Hardcover, minor pencil markings to about 15 pages else good+ (lacks dust jacket). -If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Add this copy of Denotational Semantics: Scott-Strachey Approach to to cart. $16.41, good condition, Sold by ThriftBooks-Dallas rated 4.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 1977 by MIT Press, Cambridge.
Add this copy of Denotational Semantics: the Scott-Strachey Approach to to cart. $21.48, good condition, Sold by ThriftBooks-Baltimore rated 4.0 out of 5 stars, ships from Halethorpe, MD, UNITED STATES, published 1981 by MIT Press.
Add this copy of Denotational Semantics: the Scott-Strachey Approach to to cart. $21.49, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 1981 by MIT Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Add this copy of Denotational Semantics: the Scott-Strachey Approach to to cart. $54.46, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1981 by MIT Press.
