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
Engineering Applications of Neural Networks
$54.99
Statistical Physics for Cosmic Structures
$169.99
Open and Distance Education in Australia, Europe and the Americas
$24.99
Kafka Troubleshooting in Production
$37.99
Imagining the Soul in Premodern Literature
$139.99
Novel Technologies in Biosystems, Biomedical & Drug Delivery
$159.99
Reviews of Environmental Contamination and Toxicology Volume 224
$109.99
Applied Decision Analysis
$109.99
RF Power Amplifiers for Mobile Communications
$179.99
Tcken der Demokratie
$59.99
Elektrochemie
$54.99
Transfusionsassoziierte Pharmakotherapie
$59.99
InCIEC 2014
$329.99
Family, Work and Well-Being
$54.99
Design of Video Quality Metrics with Multi-Way Data Analysis
$84.99
Nonlocal Quantum Field Theory and Stochastic Quantum Mechanics
$169.00
North Sea Oil in the Future
$19.99
Epidemiology and Control of Nematodiasis in Cattle
$54.99
Agent Causality
$109.99
Recent Advances in Systems, Control and Information Technology
$329.99
New Trends in Colloid Science
$39.99
Engineering Software IV
$39.99
Cooperation of Liver Cells in Health and Disease
$109.99
Total Mayhem: Monday - Into the Cave of Thieves
$5.24
Imagining the Black Female Body
$54.99
Organic Synthesis with Palladium Compounds
$84.99
Das Apple-Imperium
$14.99
Verified Software. Theories, Tools and Experiments
$54.99
Bucer, Ephesians and Biblical Humanism
$54.99
La pizza de Peppa
$4.49
Postoperative Wundheilungsstrungen
$69.99
Further Advances in Pragmatics and Philosophy
$119.99
Drought Management Planning in Water Supply Systems
$169.99
Coordination Models and Languages
$54.99
Einfhrung Pdagogik
$19.99
The Auditory System at the Cocktail Party
$149.00
Asymptotic Analysis II
$44.99
Human Behavior Analysis: Sensing and Understanding
$109.00
12,000 Dreams Interpreted: A New Edition for the 21st Century by Linda Shields
$16.99
Vorlesungen ber Psychopathologie des Kindesalters
$59.99
