Practical Foundations for Programming Languages - Image 1

£60.24

Cambridge University Press Practical Foundations for Programming Languages

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

Introduction to Programming

This is the most expensive it has ever been. Walk away.

£60 today · previous high £60 · all-time low £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 53 days · 53 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 53 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £60 (36 days, 67.9%)

Price range: £52 - £60

Price levels: 3 different prices over 53 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 most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Theories of Programming Languages

Springer Programming Language Design and Implementation Book

Programming Languages: Build, Prove, and Compare

Introduction to Programming Languages

Introduction to Programming Languages

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

Programming Language Explorations

Concepts in Programming Languages

Programming Language Explorations

Types & Programming Languages (The MIT Press)

Programming Language Pragmatics

Understanding Programming Languages

The French School of Programming

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

Concepts of Programming Languages [RENTAL EDITION]

Concepts of Programming Languages: United States Edition

Advanced Topics in Types and Programming Languages

Programming Language Foundations

Programming Languages: Principles and Practices (Advanced Topics)

Programming Languages: Principles and Practices, International Edition

Concepts of Programming Languages, Global Edition

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

Cambridge Two-Level Functional Languages - Series 34 Book