Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion (Progress in Theoretical Computer Science) - Image 1

£74.35

Birkhauser Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion (Progress in Theoretical Computer Science)

Name: Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion (Progress in Theoretical Computer Science)
Brand: Birkhauser
Price: 74.35 GBP
Availability: InStock

Algorithms

About as cheap as it gets. The only time it was cheaper was 3 months ago.

£74 today · all-time low £73 (Apr 2026) · 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 51 days • 51 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 51 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £73 (34 days, 66.7%)

Price range: £73 - £76

Price levels: 3 different prices over 51 days

Description

During the last three decades several different styles of semantics for program ming languages have been developed. This book compares two of them: the operational and the denotational approach. On the basis of several exam ples we show how to define operational and denotational semantic models for programming languages. Furthermore, we introduce a general technique for comparing various semantic models for a given language. We focus on different degrees of nondeterminism in programming lan guages. Nondeterminism arises naturally in concurrent languages. It is also an important concept in specification languages. In the examples discussed, the degree of non determinism ranges from a choice between two alternatives to a choice between a collection of alternatives indexed by a closed interval of the real numbers. The former arises in a language with nondeterministic choices. A real time language with dense choices gives rise to the latter. We also consider the nondeterministic random assignment and parallel composition, both couched in a simple language. Besides non determinism our four example languages contain some form of recursion, a key ingredient of programming languages.

Product Specifications

Brand: Birkhauser
Format: paperback
ASIN: 1461286808
Category: Books > Subjects > Computing & Internet > Programming > Algorithms
Domain: Amazon UK
Release Date: 26 September 2011
Listed Since: 13 July 2012

Barcode

No barcode data available

Birkhauser Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion (Progress in Theoretical Computer Science)

About as cheap as it gets. The only time it was cheaper was 3 months ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Algebraic Approaches to Program Semantics (Monographs in Computer Science)

Computational Semantics with Functional Programming

Logic of Domains (Progress in Theoretical Computer Science)

Bounded Queries in Recursion Theory: 16 (Progress in Computer Science and Applied Logic, 16)

Multiparadigm Constraint Programming Languages (Cognitive Technologies)

Multiparadigm Constraint Programming Languages (Cognitive Technologies)

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

Solving Higher-Order Equations: From Logic to Programming (Progress in Theoretical Computer Science)

Computing Meaning: Volume 2: 77 (Studies in Linguistics and Philosophy)

Paraphrase Grammars: 2 (Formal Linguistics Series, 2)

Principles of Rule-Based Programming

Modern Perspectives in Type-Theoretical Semantics: 98 (Studies in Linguistics and Philosophy, 98)

Interpreted Languages and Compositionality: 89 (Studies in Linguistics and Philosophy, 89)

Mathematical Methods in Linguistics: 30 (Studies in Linguistics and Philosophy, 30)

Recursion: Complexity in Cognition: 43 (Studies in Theoretical Psycholinguistics, 43)

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

Breadth and Depth of Semantic Lexicons: 10 (Text, Speech and Language Technology, 10)

Temporal Verification of Reactive Systems: Safety

Computational Lexical Semantics (Studies in Natural Language Processing)

Interpreted Languages and Compositionality: 89 (Studies in Linguistics and Philosophy, 89)

Natural Language Semantics P

Founding Mathematics on Semantic Conventions: 446 (Synthese Library, 446)

An Introduction to Formal Languages and Machine Computation

Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems