Practical Foundations for Programming Languages - Image 1

£59.68

Cambridge University Press Practical Foundations for Programming Languages

Name: Practical Foundations for Programming Languages
Brand: Cambridge University Press
Price: 59.68 GBP
Availability: InStock

Introduction to Programming

This is the usual price. Wait for it to drop, or tell us your number.

£60 today · usual range £0–£0 · best ever £52

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 585 days • 585 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 585 days • 5 price ranges

Days at Price

Current Price

Price Analysis

Most common range: £54-55 (221 days, 37.8%)

Price range: £52 - £60

Price levels: 5 price ranges over 585 days

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.

Product Specifications

Brand: Cambridge University Press
Format: hardcover
ASIN: 1107150302
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 31 March 2016
Listed Since: 20 November 2015

Barcode

No barcode data available

Cambridge University Press Practical Foundations for Programming Languages

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Theories of Programming Languages

Theories of Programming Languages

Programming Languages: Build, Prove, and Compare

Introduction to Programming Languages

Essentials of Programming Languages 3e (OIP) (The MIT Press)

Programming Language Explorations

Programming Language Explorations

Types & Programming Languages (The MIT Press)

Programming Language Pragmatics

Understanding Programming Languages

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and ... Greece, April 14-20, 2018, Proceedings

Programming Language Fundamentals by Example

Advanced Topics in Types and Programming Languages

Concepts of Programming Languages, Global Edition

Programming Languages: Principles and Paradigms (Undergraduate Topics in Computer Science)

Programming Language Pragmatics

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and ... (Lecture Notes in Computer Science, 2986)

Two Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34)

The World of Programming Languages (Springer Books on Professional Computing)

Programming Languages: An Active Learning Approach

Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

Formal Language: A Practical Introduction

Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and ... (Lecture Notes in Computer Science, 4421)

Mathematical Foundations of Programming Semantics: 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings: 802 (Lecture Notes in Computer Science, 802)