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
Diagnosis and Management of Endocrine-related Tumors
$169.00
Phytoremediation
$329.99
Advanced Raspberry Pi
$49.99
The Supply-Side Effects of Economic Policy
$39.99
Data Analytics and Management
$169.00
Advances in Ad Hoc Networking
$84.99
David Greigs Holed Theatre
$64.99
Regionalisierung der Strukturpolitik in Nordrhein-Westfalen
$69.99
Atmung
$20.70
The Realism-Antirealism Debate in the Age of Alternative Logics
$169.99
Zukunft der Polizei
$74.99
Uterine Endometrial Function
$109.99
Faszination kompakte Objekte
$59.99
Scholastic Text Sets Grade 2: Complete Set
$469.00
Data Science for Entrepreneurship
$89.99
Einflu verschiedener Endstrecken bei verkrzten Kammgarn-Spinnverfahren auf die Ungleichmigkeit u
$59.99
Acetylene and Its Polymers
$39.99
Raum - Macht - Geschlecht
$54.99
Nonthermal Plasma Surface Modification of Materials
$159.99
Neurodegenerative Disorders: Loss of Function Through Gain of Function
$169.99
Das erklrte Universum
$44.99
Something Rotten
$8.21
Information Systems and Technologies
$279.99
Johann Sebastian Bach: Die Kantaten und Passionen
$229.99
Die Steuerplanung der internationalen Unternehmung
$69.99
Health Care Benchmarking and Performance Evaluation
$109.00
Modern Fourier Analysis
$89.99
Embryonic Stem Cell Therapy for Osteo-Degenerative Diseases
$109.99
The Greatest Treasure Hunt in History
$6.74
Turning a Problem into a Resource: Remediation and Waste Management at the Sillame Site, Estonia
$109.99
Quinoxalines
$84.99
Artificial Intelligence and Security
$109.99
Google Cloud Platform (GCP) Professional Cloud Security Engineer Certification Companion
$54.99
Leading Global Champions
$64.99
Podemos and the New Political Cycle
$99.00
Empirische Soziologie
$49.99
Puppy Place: Zipper
$4.49
Empirical Vector Autoregressive Modeling
$109.99
Amazing Numbers in Biology
$84.99
Modernisms Second Act: A Cultural Narrative
$54.99
