BD 56.400

Description

Practical Foundations for Programming Languages.

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.

Reviews

Practical Foundations for Programming Languages

Fast Delivery to BAHRAIN

Easy Returns & Exchanges

Ask About This Product

Similar Products

› Books › Computers And Technology › Programming Languages

Disclaimer: The price shown above includes all applicable taxes and fees. The information provided above is for reference purposes only. Products may go out of stock and delivery estimates may change at any time. desertcart does not validate any claims made in the product descriptions above. For additional information, please contact the manufacturer or desertcart customer service. While desertcart makes reasonable efforts to only show products available in your country, some items may be cancelled if they are prohibited for import in Bahrain. For more details, please visit our Support Page.

Frequently Asked Questions About Practical Foundations for Programming Languages in BAHRAIN

Where can I buy Practical Foundations for Programming Languages online at the best price in the BAHRAIN?

desertcart is the best online shopping platform where you can buy Practical Foundations for Programming Languages from renowned brand(s). desertcart delivers the most unique and largest selection of products from across the world especially from the US, UK and India at best prices and the fastest delivery time.

Is Practical Foundations for Programming Languages available and ready for delivery in BAHRAIN?

desertcart ships the Practical Foundations for Programming Languages to Manama, Riffa, Al Muharraq, Madinat Hamad, Madinat `Isaand more cities in BAHRAIN. Get unlimited free shipping in 164+ countries with desertcart Plus membership. We can deliver the Practical Foundations for Programming Languages speedily without the hassle of shipping, customs or duties.

Does desertcart have 100% authentic Practical Foundations for Programming Languages online?

desertcart buys Practical Foundations for Programming Languages directly from the authorized agents and verifies the authenticity of all the products. We have a dedicated team who specialize in quality control and efficient delivery. We also provide a free 14 days return policy along with 24/7 customer support experience.

Is it safe to buy Practical Foundations for Programming Languages on desertcart?

Yes, it is absolutely safe to buy Practical Foundations for Programming Languages from desertcart, which is a 100% legitimate site operating in 164 countries. Since 2014, desertcart has been delivering a wide range of products to customers and fulfilling their desires. You will find several positive reviews by desertcart customers on portals like Trustpilot, etc. The website uses an HTTPS system to safeguard all customers and protect financial details and transactions done online. The company uses the latest upgraded technologies and software systems to ensure a fair and safe shopping experience for all customers. Your details are highly secure and guarded by the company using encryption and other latest softwares and technologies.