Theories of Programming Languages - Image 1

£57.99

Cambridge University Press Theories of Programming Languages

Name: Theories of Programming Languages
Brand: Cambridge University Press
Price: 56.85 GBP
Availability: InStock

Introduction to Programming

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 81 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £58 (64 days, 79.0%)

Price range: £57 - £58

Price levels: 2 different prices over 81 days

Description

First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving programme behaviour. Both imperative and functional programming are covered, as well as the ways of integrating these aspects into more general languages. Recognising a unity of technique beneath the diversity of research in programming languages, the author presents an integrated treatment of the basic principles of the subject. He identifies the relatively small number of concepts, such as compositional semantics, binding structure, domains, transition systems and inference rules, that serve as the foundation of the field. Assuming only knowledge of elementary programming and mathematics, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory and also will appeal to researchers and professionals in designing or implementing computer languages.

Product Specifications

Brand: Cambridge University Press
Format: paperback
ASIN: 0521106974
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 01 June 2009
Listed Since: 13 November 2008

Barcode

No barcode data available

Cambridge University Press Theories of Programming Languages

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Theories of Programming Languages

Understanding Programming Languages

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

Reflections on the Work of C.A.R. Hoare

Handbook of Formal Languages: Volume 3 Beyond Words

Handbook of Formal Languages: Volume 2. Linear Modeling: Background and Application

Compiler Technology: Tools, Translators and Language Implementation: 422 (The Springer International Series in Engineering and Computer Science, 422)

Computers and Languages: Theory and Practice (Volume 4) (Studies in Computer Science and Artificial Intelligence, Volume 4)

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

Principles of Program Analysis

Formal Methods, Informally: How to Write Programs That Work

Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings: 9889 (Lecture Notes in Computer Science, 9889)

Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings: 10695 (Lecture Notes in Computer Science, 10695)

Optimality Theory: Constraint Interaction in Generative Grammar

Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)

Complexity in Language: Developmental and Evolutionary Perspectives (Cambridge Approaches to Language Contact)

New Developments in Formal Languages and Applications: 113 (Studies in Computational Intelligence, 113)

Inductive Temporal Logic Programming: Learning Temporal Logic Programs from Examples

Government and Binding Theory and the Minimalist Program: Principles and Parameters in Syntactic Theory: 13 (Generative Syntax)

Programming Language Cultures: Automating Automation

Linguistics and the Formal Sciences: The Origins of Generative Grammar: 110 (Cambridge Studies in Linguistics, Series Number 110)

Readings in Artificial Intelligence and Software Engineering

Functional and Concurrent Programming: Core Concepts and Features

What is this thing called Philosophy of Language?