Login       My Wishlist
  My Cart
$0.00 / 0 items
 
Translate This Website
International Translation Network
 
International Access
Global Shipping Options Available
  Our Catalog   Computers & Technology

Practical Foundations for Programming Languages


Mega Sale! Save 21% on the Practical Foundations for Programming Languages by Cambridge University Press at Translate This Website. MPN: 9781107150300. Hurry! Limited time offer. Offer valid only while supplies last. This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are


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.

Additional Information

Manufacturer:Cambridge University Press
Part Number:9781107150300
Publisher:Cambridge University Press
Studio:Cambridge University Press
MPN:9781107150300
EAN:9781107150300
Item Weight:2.38 pounds
Item Size:1.26 x 9.96 x 9.96 inches
Package Weight:2.34 pounds
Package Size:7.24 x 1.26 x 1.26 inches

Practical Foundations for Programming Languages by Cambridge University Press

Buy Now:
Practical Foundations for Programming Languages

Brand: Cambridge University Press
4.1 out of 5 stars with 56 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$84.99
$67.56
You Save: 21%


Quantity:  

 


 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Cambridge University Press, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


By McGraw-Hill Education
mpn: black & white tables, figures, ean: 9780073191461, isbn: 0073191469,
Introduction to Languages and the Theory of Computation helps students make the connection between the practice of computing and an understanding of the profound ideas that defines it. The book's organization and the author's ability to explain compl...

By Addison-Wesley Professional
mpn: 9780321563842, ean: 9780321563842, isbn: 0321563840,
This book features an enhanced, layflat binding, which allows the book to stay open more easily when placed on a flat surface. This special binding method—noticeable by a small space inside the spine—also increases durability. C++11 has arrived: ...



Privacy Policy / Terms of Service
© 2018 - translateth.is. All Rights Reserved.