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. ... Show More Show Less
Price Comparison
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Elektronische Vorschubantriebe an NC-Systemen
$69.99
Cytopathology in Oncology
$109.99
Epistemic Logic and the Theory of Games and Decisions
$249.99
Advances in Dynamic Games
$219.99
Pug Blasts Off: A Branches Book (Diary of a Pug #1)
$5.24
Baukultur in der Stadterneuerung
$59.99
Performancemanagement fr serviceorientierte Java-Anwendungen
$29.99
Mathematics for Life Science and Medicine
$84.99
Subsequent Agreements and Subsequent Practice in Domestic Courts
$99.00
Advanced Technologies for Humanity
$149.00
Studien zum Stilwandel im Dramatischen Werk Gerhart Hauptmanns
$69.99
Gendered Success in Higher Education
$109.00
Branched Standard Spines of 3-manifolds
$29.99
Differential Geometry and Complex Analysis
$39.99
My Weirder School: Miss Klute Is a Hoot! (#11)
$3.75
Introduction of Advanced State Space Grids and Their Application to the Analysis of Physics Teaching
$54.99
Uncle Jed's Barbershop: 6-Book Set
$34.95
Quality by Design for Electronics
$149.00
Sex and Longevity: Sexuality, Gender, Reproduction, Parenthood
$84.99
Desktop Publishing mit dem HP LaserJet
$69.99
Digital Civil Society
$59.99
Systems, Patterns and Data Engineering with Geometric Calculi
$199.99
Social Policy in the Federal Republic of Germany
$84.99
Energy of the Russian Arctic
$169.99
Air Pollution Modeling and Its Application XI
$39.99
Clientelism in Everyday Latin American Politics
$39.99
Fehlererkennung und Fehlerbehandlung in Speicherungsstrukturen von Datenbanksystemen
$69.99
10 Questions Science Can't Answer (Yet)
$39.99
Formal Modeling: Actors; Open Systems, Biological Systems
$54.99
Einlage und Einlagenrckgewhr im Ertragsteuerrecht
$59.99
Gene Mapping, Discovery, and Expression
$84.99
Followership und Fhrungsverhalten
$79.99
I Love My Beautiful Hair / Amo mi hermoso pelo
$6.74
Preparation and Properties of Stereoregular Polymers
$39.99
Grundkurs Betriebssysteme
$29.99
Social Enterprises
$109.99
Principles of Water Quality Management
$54.99
Just For You! Level 1: Hurry Up!
$2.99
Transport Processes and Separation Technologies
$129.00
Staging Organization
$84.99
