Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Algebraic Approaches to Program Semantics

Algebraic Approaches to Program Semantics

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9781461249627
Condition
New
Product 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.

Available Colors
Available Sizes
1 Offer Price Range: $79.99 - $79.99
BEST PRICE

Single Product Purchase

$79.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$79.99 $79.99

$79.99
See Site In stock Visit Store

Similar Products

bungen aus der Mechanik

$59.99

Grundlagen der Umformtechnik Stand und Entwicklungstrends / Fundamentals of Metal Forming Techniqu

$99.99

Die Zukunft von Privatheit und Selbstbestimmung

$49.99

Die Lokalisierung des Klimawandels auf den Philippinen

$64.99

Fourier Analysis and Imaging

$189.00

Deterministic Chaos in Infinite Quantum Systems

$109.99

Unternehmensidentitt als Ressource

$59.99

Dynamic and Seamless Integration of Production, Logistics and Traffic

$109.99

Erzhl mir nicht, ich sei alt! Zur Analyse von Renteneintrittsentscheidungen vor dem Hintergrund

$59.99

Hazardous Waste and Pollution

$39.99

The History of the Universe

$34.99

MRI of the Temporomandibular Joint

$139.99

JavaScript Object Programming

$32.99

Elektive Chirurgie

$69.99

Nuclear Submarine Decommissioning and Related Problems

$169.00

Myth and Metaphysics

$54.99

Industrial Ecology Management

$34.99

Algorithms in Bioinformatics

$84.99

Nano-Energetic Materials

$179.99

Debasing Political Rhetoric

$109.00

Overlooking Conventions

$69.99

Quereinsteiger

$64.99

Augmented Reality, Virtual Reality, and Computer Graphics

$139.99

Consumer Behaviour in Asia

$54.99

Crystallization Processes

$54.99

Pro Team Foundation Service

$39.99

Quality and Treatment of Drinking Water II

$39.99

Refugee and Mixed Migration Flows

$129.00

State of the Art in Computer Graphics

$109.99

Turnpike Phenomenon and Infinite Horizon Optimal Control

$54.99

Local Limit Theorems for Inhomogeneous Markov Chains

$54.99

Ethics and Artificial Intelligence

$119.00

Fluid Mechanics and Fluid Power, Volume 2

$279.99

Properties of Water in Foods

$329.99

Grafik und Animation in C

$59.99

Die Verhtung des Knickfusses und des Knickplattfusses

$54.99

Progress in Turbulence VI

$129.00

Applied Econometrics with R

$99.99

Effizienzmae der Data Envelopment Analysis

$69.99

Die jngsttertire (sarmatisch-pannonisch-hherphiozne) Auffllung des Pullendorfer Beckens (=Lands

$59.99