Copied Semantik von Programmiersprachen
Semantik von Programmiersprachen
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.
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
|
|
$49.99 | $49.99 |
|
$49.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
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
