"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
"synopsis" may belong to another edition of this title.
Denotational Semantics "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 Full 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
"About this title" may belong to another edition of this title.
Seller: HPB-Red, Dallas, TX, U.S.A.
paperback. Condition: 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! Seller Inventory # S_403757689
Seller: Better World Books, Mishawaka, IN, U.S.A.
Condition: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 2249000-6
Seller: The Book Corner, Beaverton, OR, U.S.A.
paperback. Condition: Good. Paperback. Cover and spine in good condition, edges lightly scuffed, spine is creased. Former owner's name on title page. Spine is tight. Pages are clean, no markings, notes or stains. Ships from Friends bookstore to benefit Beaverton (Oregon) library. Seller Inventory # mon0000071675
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0262690764I3N00
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0262690764I3N00
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Paperback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR008695096
Quantity: 1 available
Seller: Sell Books, Elland, YORKS, United Kingdom
paperback. Condition: Acceptable. Please see the condition note after this for details, if this is missing please consider Acceptable to mean poor quality that could include major staining, water damage, writing, missing dustjacket, etc etc. Our books are dispatched from a Yorkshire former cotton mill. We list via barcode/ISBN so please note that the images are stock images and may not be the exact copy you receive, furthermore the details about edition and year might not be accurate as many publishers reuse the same ISBN for multiple editions and as we simply scan a barcode or enter an ISBN we do not check the validity of the edition data when listing. If you're looking for an exact edition please don't order (at least not without checking with us first, although we don't always have time to check). We aim to dispatch prompty, the service used will depend on order value and book size. We can ship to most countries, see our shipping policies. Payment is via Abe only. Seller Inventory # P-BCJ00387-RAG-20250821-A
Quantity: 1 available
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 450 pages. 9.25x6.25x1.00 inches. In Stock. Seller Inventory # zk0262690764
Quantity: 1 available
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.
paperback. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-0262690764