Copied Modular Compiler Verification
Modular Compiler Verification
This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. Unlike most other work on compiler verification, and with particular emphasis on modularity, it systematically covers correctness of translation down to actual machine code, a necessity in the area of safety-critical systems. The formal framework provided as well as the novel proof-engineering ideas incorporated in the verified code generator are also of relevance for software design in general.
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
|
|
$39.99 | $39.99 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Coagulation and Blood Transfusion
$109.99
Optoelektronik in der Technik / Optoelectronics in Engineering
$69.99
Representations and Techniques for 3D Object Recognition and Scene Interpretation
$29.99
Cytomechanics
$109.99
Digital Breast Tomosynthesis
$99.99
Rigid Cohomology over Laurent Series Fields
$89.00
Metallogenic Theory and Exploration Technology of Multi-Arc-Basin-Terrane Collision Orogeny in Sanj
$59.99
Das Photographische Objektiv
$79.99
Intelligent Decision Technologies 2017
$169.99
Die Bedeutung strategisch wertvoller Ressourcen fr erfolgreiche Mergers & Acquisitions-Entscheidung
$59.99
Computational Bioengineering and Bioinformatics
$249.99
Maximizing Value with Automation and Digital Transformation
$37.99
Evolutionary Perspectives on Imaginative Culture
$159.99
Micromolecular Evolution, Systematics and Ecology
$109.99
Female Pelvic Surgery
$79.99
System Dynamics
$159.00
Wireless Power Transfer
$179.99
Challenges in Managing Sustainable Business
$179.99
Betriebswirtschaftliche Logistik
$69.99
Software Architecture
$54.99
Networked Digital Technologies, Part I
$109.99
Beitrge zur generativen Grammatik
$54.99
Water Resources in Slovakia: Part I
$329.99
Stalking and Violence
$84.99
A Natural Calling
$169.99
Concepts in Action
$59.99
Rechnungslegung auf informationseffizienten Kapitalmrkten
$79.99
On Global Aging
$54.99
Dynamic Meteorology
$129.00
Planet Reader: Raptors
$3.71
PI-Algebras
$29.99
ber einige Grundfragen der Philosophie der Politik
$59.99
Kavalkade
$59.99
Ertragstafeln fr die Kiefer
$74.99
Developing Ambient Intelligence
$54.99
Emergency Surgery Course (ESC) Manual
$159.99
Entscheidungs- und Lernverhalten an Wertpapiermrkten
$49.99
Anemia in the Elderly
$39.99
Colloid Chemistry I
$169.00
New Technologies for Toxicity Testing
$169.99
