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

The Denotational Description of Programming Languages

The Denotational Description of Programming Languages

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9780387904337
Condition
New
Product Description

This book explains how to formally describe programming languages using the techniques of denotational semantics. The presentation is designed primarily for computer science students rather than for (say) mathematicians. No knowledge of the theory of computation is required, but it would help to have some acquaintance with high level programming languages. The selection of material is based on an undergraduate semantics course taught at Edinburgh University for the last few years. Enough descriptive techniques are covered to handle all of ALGOL 50, PASCAL and other similar languages. Denotational semantics combines a powerful and lucid descriptive notation (due mainly to Strachey) with an elegant and rigorous theory (due to Scott). This book provides an introduction to the descriptive techniques without going into the background mathematics at all. In some ways this is very unsatisfactory; reliable reasoning about semantics (e. g. correctness proofs) cannot be done without knowing the underlying model and so learning semantic notation without its model theory could be argued to be pointless. My own feeling is that there is plenty to be gained from acquiring a purely intuitive understanding of semantic concepts together with manipulative competence in the notation. For these equip one with a powerful conceptua1 framework-a framework enabling one to visualize languages and constructs in an elegant and machine-independent way. Perhaps a good analogy is with calculus: for many practical purposes (e. g. engineering calculations) an intuitive understanding of how to differentiate and integrate is all that is needed.

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

Single Product Purchase

$39.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
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Mentalizing Power and Powerlessness

$84.99

Science and Art Symposium 2000

$169.99

Arthroscopic Management of Ulnar Pain

$99.00

Cultivating Genius (10-copy pack)

$269.90

Shakespiritualism

$54.99

Organizational Psychology and Evidence-Based Management

$119.99

Fragile Stabilitt stabile Fragilitt

$49.99

From STEM to STEAM

$44.99

Contemporary Metabolism

$54.99

The Economic Foundations of Government

$109.99

In Fascination of Fluid Dynamics

$169.00

Procedures in International Law

$54.99

Entwicklung der Regionalstruktur und Terms of Trade im Auenhandel der Bundesrepublik Deutschland mi

$69.99

Auswirkungen von Covid-19 auf die Wirtschaft

$64.99

Industrielle After Sales Services in China

$29.99

Theoretische Physik 2

$59.99

Human Dignity and the Autonomy of Law

$169.99

Progress in Cell Cycle Research

$169.99

Mathematical Optimization and Economic Analysis

$109.00

How Crises Shaped Economic Ideas and Policies

$54.99

Soziale Herkunft und Hochschulzugang

$54.99

Stochastic Models in Geosystems

$84.99

Catalogue of Books and Periodical Sets on Voyages and Travels

$54.99

The New Strategic Landscape

$44.00

Thin-Walled Composite Beams

$169.00

Pathways and Barriers to Parenthood

$109.99

Economics of Social Problems

$74.99

Carotis-Unterbindung bei Arrosionsblutungen infolge von Peritonsillren Abszessen

$54.99

Nomad

$5.96

Database Semantics

$169.00

Sensoren fr die Produktionstechnik

$44.99

Screen Hustles, Grifts and Stings

$64.99

Erfindung der Romantik

$54.99

Between Empire and Globalization

$129.99

Using Mathematics to Understand Biological Complexity

$54.99

The TransForum Model: Transforming Agro Innovation Toward Sustainable Development

$129.00

Erzhlungen vom Staat

$39.99

Microbial Production of High-Value Products

$109.99

Kompaktkurs Finite Elemente fr Einsteiger

$24.99

Pattern Recognition

$54.99