Sold Out
Book Categories |
This comprehensive text introduces the analysis of the semantics of programming languages and programming logics. It discusses denotational, operational, and axiomatic approaches and the relations between them in a unified framework. Organized around analysis of three languages - the simple imperative language of while commands, a simple applicative language based on the typed lambda calculus, and an Algol-like language which is an extension of the simple languages, the text discusses syntactic and semantic methods appropriate to typed languages. There also self-contained introductions to natural deduction, domain theory, and category theory, and a discussion of modern techniques of possible worlds.
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionSemantics of programming languages
X
This Item is in Your InventorySemantics of programming languages
X
You must be logged in to review the productsX
X
X
Add Semantics of programming languages, , Semantics of programming languages to the inventory that you are selling on WonderClubX
X
Add Semantics of programming languages, , Semantics of programming languages to your collection on WonderClub |