Algebraic Approaches to Program Semantics (Monographs in Computer Science) - Image 1

£64.54

Springer Algebraic Approaches to Program Semantics (Monographs in Computer Science)

Name: Algebraic Approaches to Program Semantics (Monographs in Computer Science)
Brand: Springer
Price: 67.52 GBP
Availability: InStock

Programming

About as cheap as it gets. The only time it was cheaper was 1 month ago.

£65 today · all-time low £64 (Apr 2026) · usually £64

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 90 days • 90 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 90 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £64 (41 days, 45.6%)

Price range: £64 - £68

Price levels: 3 different prices over 90 days

Description

In the 1930s, mathematical logicians studied the notion of "effective comput ability" using such notions as recursive functions, A-calculus, and Turing machines. The 1940s saw the construction of the first electronic computers, and the next 20 years saw the evolution of higher-level programming languages in which programs could be written in a convenient fashion independent (thanks to compilers and interpreters) of the architecture of any specific machine. The development of such languages led in turn to the general analysis of questions of syntax, structuring strings of symbols which could count as legal programs, and semantics, determining the "meaning" of a program, for example, as the function it computes in transforming input data to output results. An important approach to semantics, pioneered by Floyd, Hoare, and Wirth, is called assertion semantics: given a specification of which assertions (preconditions) on input data should guarantee that the results satisfy desired assertions (postconditions) on output data, one seeks a logical proof that the program satisfies its specification. An alternative approach, pioneered by Scott and Strachey, is called denotational semantics: it offers algebraic techniques for characterizing the denotation of (i. e. , the function computed by) a program-the properties of the program can then be checked by direct comparison of the denotation with the specification. This book is an introduction to denotational semantics. More specifically, we introduce the reader to two approaches to denotational semantics: the order semantics of Scott and Strachey and our own partially additive semantics.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 1461293774
Category: Books > Subjects > Computing & Internet > Programming
Domain: Amazon UK
Publication Date: 17 January 2014
Listed Since: 07 April 2014

Barcode

No barcode data available

Springer Algebraic Approaches to Program Semantics (Monographs in Computer Science)

About as cheap as it gets. The only time it was cheaper was 1 month ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Computational Semantics with Functional Programming

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

Logic of Domains (Progress in Theoretical Computer Science)

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

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

Programming with Higher-Order Logic

Deductive Program Design: 152 (NATO ASI Subseries F:, 152)

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

Logic and Algebra of Specification: 94 (NATO ASI Subseries F:, 94)

Specification and Verification of Multi-agent Systems

Algorithms for Functional Programming

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

Symbolic Simulation Methods for Industrial Formal Verification

The Semantics and Proof Theory of the Logic of Bunched Implications: 26 (Applied Logic Series, 26)

LOGIC PROGRAMMING THEORY PRACTICES A: Theory, Practices and Challenges (Computer Science, Technology and Applications)

Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)

Multiprocessor Execution of Logic Programs

Programming Concepts and Methods PROCOMET ’98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 ... in Information and Communication Technology)

Naive Semantics for Natural Language Understanding: 58 (The Springer International Series in Engineering and Computer Science, 58)

The q-theory of Finite Semigroups (Springer Monographs in Mathematics)

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

Interpretation, Law and the Construction of Meaning: Collected Papers on Legal Interpretation in Theory, Adjudication and Political Practice

Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14)

Petri Net Algebra (Monographs in Theoretical Computer Science. An EATCS Series)