Domains and Lambda Calculi: 46 (Cambridge Tracts in Theoretical Computer Science, Series Number 46) - Image 1

£51.52

Cambridge University Press Domains and Lambda Calculi: 46 (Cambridge Tracts in Theoretical Computer Science, Series Number 46)

Name: Domains and Lambda Calculi: 46 (Cambridge Tracts in Theoretical Computer Science, Series Number 46)
Brand: Cambridge University Press
Price: 51.52 GBP
Availability: InStock

Architecture & Microprocessors

About as cheap as it gets. The only time it was cheaper was 2 years ago.

£52 today · all-time low £50 (Jun 2024) · usually the usual

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 577 days • 577 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 577 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £53 (335 days, 58.1%)

Price range: £50 - £54

Price levels: 4 different prices over 577 days

Description

This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way, and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain topological spaces that have proved of use in the modelling of various families of typed lambda calculi considered as core programming languages and as meta-languages for denotational semantics. This theory is known as Domain Theory, and was founded as a subject by Scott and Plotkin. One of the main concerns is to establish links between mathematical structures and more syntactic approaches to semantics, often referred to as operational semantics, which is also described. This dual approach has the double advantage of motivating computer scientists to do some mathematics and of interesting mathematicians in unfamiliar application areas from computer science.

Product Specifications

Brand: Cambridge University Press
Format: paperback
ASIN: 0521062926
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 21 August 2008
Listed Since: 10 January 2008

Barcode

No barcode data available

Cambridge University Press Domains and Lambda Calculi: 46 (Cambridge Tracts in Theoretical Computer Science, Series Number 46)

About as cheap as it gets. The only time it was cheaper was 2 years ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001: 3 (Semantics Structures in Computation, 3)

Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999: 1 (Semantics Structures in Computation, 1)

Domain Science and Engineering: A Foundation for Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

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

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

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

Domain Engineering: Product Lines, Languages, and Conceptual Models

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)

Mathematics in Programming

Transitions and Trees: An Introduction to Structural Operational Semantics

Model-Driven Domain Analysis and Software Development: Architectures and Functions (Premier Reference Source)

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

Transitions and Trees: An Introduction to Structural Operational Semantics

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

Understanding Programming Languages

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

Practical Foundations for Programming Languages

Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs

Theories of Programming Languages

Theories of Programming Languages

Proof and System-Reliability: v. 62 (NATO Science Series II)

Functional Interpretations: From the Dialectica Interpretation to Functional Interpretations of Analysis and Set Theory