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

Semantik von Programmiersprachen

Semantik von Programmiersprachen

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

Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunchst werden unterschiedliche Formalisierungsanstze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert. Anschlieend wird die mathematische Theorie der semantischen Bereiche entwickelt, die bei der zur Zeit wichtigsten, der denotationellen Methode, Anwendung findet. Danach wird schrittweise eine umfassende, PASCAL-orientierte Programmiersprache entwickelt und die Semantik der einzelnen Sprachkonstrukte denotationell spezifiziert. Die Fortsetzungssemantik (continuation semantics) wird dabei systematisch erklrt und verwendet. Schlielich wird auf die Anwendung dieser Techniken eingegangen, insbesondere im Rahmen des Compilerbaus und als Grundlage zur Entwicklung funktionaler Programmiersprachen. Das Wissen, das in diesem Buch vermittelt wird, ermglicht es, selbstndig die Semantik neuer, unterschiedlicher Sprachkonstrukte formal zu definieren und damit umzugehen, und natrlich vorgegebene formale Beschreibungen zu verstehen. Dies ist besonders wichtig bei der Entwicklung neuer Sprachen, beim Beweisen von Programmeigenschaften und beim Compilerbau.

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

Single Product Purchase

$49.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
$49.99 $49.99

$49.99
See Site In stock Visit Store

Similar Products

Integration of Natural Language and Vision Processing

$84.99

Auditory Development in Infancy

$129.00

Machine Learning, Optimization, and Big Data

$54.99

Die neurologische Symptomatologie der akuten und chronischen Niereninsuffizienz

$59.99

Public Administration and Policy in the Middle East

$84.99

Die chinesische Community in Bukarest

$49.99

Expert Knowledge-based Inspection Systems

$109.99

Handbook of Trace Analysis

$109.99

Exploring Semiotic Remediation as Discourse Practice

$109.99

Mathematisches Argumentieren im Analysisunterricht

$64.99

Francis-Turbinen fr groe Leistungen

$54.99

Desert Giant

$6.71

Combinatorial Set Theory

$159.99

Macmillan Dictionary of Women's Biography

$54.99

Data-Driven Modeling of Cyber-Physical Systems using Side-Channel Analysis

$109.99

Procedures and Protocols in the Neurocritical Care Unit

$79.99

Composite Structures 3

$429.00

Understanding Psychological Assessment

$249.99

Inside Criminal Networks

$109.99

Duck, Duck, Dinosaur-My First I Can Read!: Snowy Surprise

$4.46

Mathematical Structures of Ergodicity and Chaos in Population Dynamics

$109.99

Contemporary Computing

$84.99

Judicial Practice, Customary International Criminal Law and Nullum Crimen Sine Lege

$139.99

The Rational as Reasonable

$169.00

Cache and Interconnect Architectures in Multiprocessors

$109.99

Inventory Control Models with Motivational Policies

$109.99

Concepts of Matter in Science Education

$169.99

Probleme der Atomdynamik

$69.99

Cosmopolitanism in Twenty-First Century Fiction

$79.99

Die Anfnge der Romantik in der Musik

$39.99

Cinquante Ans de Polynomes - Fifty Years of Polynomials

$39.99

Bronchial Branch Tracing

$179.99

Publishing Online for Writers

$29.99

Ordnungszustnde und Umwandlungserscheinungen in Festen Hochpolymeren Stoffen

$64.99

Unoccupied Electronic States

$74.99

Wissen und Handeln in virtuellen sozialen Welten

$49.99

Neverforgotten / Nuncaseolvida

$7.46

Understanding Digital Humanities

$109.99

Governance of Radioactive Waste, Special Waste and Carbon Storage

$79.99

The Martian Climate Revisited

$159.99