This monograph presents a language-independent theory of fully abstract denotational semantics of programming languages--models that identify program fragments exactly when they are operationally interchangeable. This theory is used to show the existence or nonexistence of such models for several example programming languages. Mathematically self-contained, assuming only naive set theory and some very basic notions of category theory.
Read More
This monograph presents a language-independent theory of fully abstract denotational semantics of programming languages--models that identify program fragments exactly when they are operationally interchangeable. This theory is used to show the existence or nonexistence of such models for several example programming languages. Mathematically self-contained, assuming only naive set theory and some very basic notions of category theory.
Read Less
Add this copy of Fully Abstract Models of Programming Languages to cart. $26.00, very good condition, Sold by Lavendier Books rated 5.0 out of 5 stars, ships from Foster, RI, UNITED STATES, published 1988 by Hyperion Books.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good. Size: 0x0x0; John Wiley & Sons, Inc.; New York, 1988. Trade paperback. A Very Good, binding sturdy and intact, some handling/scuff marks to covers, bit of cover edge/corner wear, spine fade and some fading/offsetting to cover margins, ink check mark top half title page, readers crease front cover, a nice and clean copy in wraps. 8vo[octavo or approx. 6 x 9], 123pp. We pack securely and ship daily w/delivery confirmation on every book. Please Note: Depending on site, actual book for sale may differ physically from picture listed. Additional scan(s) are available for any item, please inquire.
Add this copy of Fully Abstract Models of Programming Languages to cart. $61.29, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1988 by Hyperion Books.
Add this copy of Fully Abstract Models of Programming Languages to cart. $78.03, new condition, Sold by Just one more Chapter rated 3.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 1988 by Pitman Publishing.
