Practical Foundations for Programming Languages - Image 1

Price loading...

Cambridge University Press Practical Foundations for Programming Languages

Name: Practical Foundations for Programming Languages
Brand: Cambridge University Press

Introduction to Programming

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

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

Price History & Forecast

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

Programming Languages: Build, Prove, and Compare

Types & Programming Languages (The MIT Press)

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

Advanced Topics in Types and Programming Languages

Lambda-Calculus and Combinators: An Introduction

Springer Programming Language Design and Implementation Book

Introduction to Programming Languages

Programming Language Pragmatics

Foundations of Probabilistic Logic Programming: Languages, Semantics, Inference and Learning (River Publishing in Software Engineering)

Programming Language Pragmatics

Type Theory and Formal Proof: An Introduction

Programming Language Foundations

Transitions and Trees: An Introduction to Structural Operational Semantics

Cambridge Two-Level Functional Languages - Series 34 Book

Transitions and Trees: An Introduction to Structural Operational Semantics

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

Programming Languages: Principles and Practices

Programming Language Explorations

Functional Approach to Programming

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Formal Languages and Compilation (Texts in Computer Science)

Formal Languages and Compilation (Texts in Computer Science)

Type-Logical Semantics

ML for the Working Programmer