About this Item

The item is a book Hardback
The Author Name is Robert Harper
The Title is Practical Foundations for Programming Languages

Condition New

Other Comments
Pages Count - 514. Binding type - Hardcover.
Content Language - English
Category - COMPUTERS / Languages / General


Product Description -
This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages and provide the framework for combining and comparing language features. The broad range of concepts includes fundamental data types such as sums and products, polymorphic and abstract types, dynamic typing, dynamic dispatch, subtyping and refinement types, symbols and dynamic classification, parallelism and cost semantics, and concurrency and distribution. The methods are directly applicable to language implementation, to the development of logics for reasoning about programs, and to the formal verification language properties such as type safety. This thoroughly revised second edition includes exercises at the end of nearly every chapter and a new chapter on type refinements.

We Use Stock Images
Because we have over 2 million items for sale we have to use stock images, this listing does not include the actual image of the item for sale. The purchase of this specific item is made with the understanding that the image shown in this listing is a stock image and not the actual item for sale. For example: some of our stock images include stickers, labels, price tags, hyper stickers, obi's, promotional messages, signatures and or writing which may not be available in the actual item.

When possible we will add details of the items we are selling to help buyers know what is included in the item for sale. The details  are provided automatically  from our central master database and can sometimes be wrong.

Books are released in many editions and variations, such as standard edition, re-issue, not for sale, promotional, special edition, limited edition, and many other editions and versions.  The Book you receive could be any of these editions or variations. If you are looking for a specific edition or version please contact us to verify what we are selling.

 

Gift Ideas
This is a  great gift idea.

 

Hours of Service
We have many warehouses,  some of the warehouses process orders seven days a week, but the Administration Support Staff are located at a head office location, outside of the warehouses, and typically work only Monday to Friday.

Location ID 555z

iHaveit SKU ID 163318686