Login       My Wishlist
  My Cart
$0.00 / 0 items
 
Translate This Website
International Translation Network
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Computers & Technology   Programming

Practical Foundations for Programming Languages


Mega Sale! Save 23% on the Practical Foundations for Programming Languages by Harper Robert at Translate This Website. MPN: 44546104. 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
Brand:Harper Robert
Part Number:44546104
Publisher:Cambridge University Press
Studio:Cambridge University Press
MPN:44546104
EAN:9781107150300
Item Weight:0 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 Harper Robert

Buy Now:
Practical Foundations for Programming Languages

Brand: Harper Robert
4.1 out of 5 stars with 56 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$84.99
$65.49
You Save: 23%


Quantity:  

 


View More In Programming.

 


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 Harper Robert, 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


ean: 9781590282502, isbn: 1590282507,
This book introduces the concepts of diverse programming languages for students who have already mastered basic programming in at least one language. It is suitable for use in an undergraduate course for computer science and computer engineering majo...



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