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
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fair. There is a signature or handwriting on the inside front cover. The pages are sun faded and slightly yellowing The cover has visible markings and wear. This is a paperback copy The binding is split in the middle of the text but all pages are intact There are some creases on the spine There are some tears on the corners of the spine but doesn't effect biding Fast Shipping-Each order powers our free bookstore in Chicago and sending books to Africa!
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!
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Text block firm and clean, binding unblemished, boards straight, no highlights or underlining. Without dust wrapper. Well packaged and promptly shipped from California. Partnered with Friends of the Library since 2010.