Modular Compiler Verification

Name: Modular Compiler Verification
Brand: Springer, Berlin
SKU: 9783540634065
Price: 50.19 EUR
Availability: InStock

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Autor: Markus Müller-Olms

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.19 €

This book presents the verified design of a code generator translating a prototypic real-time progra...

Informácie o knihe

Autor

Markus Müller-Olms

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

1997

Stránok

260

EAN

9783540634065

ISBN

3540634061

Enbook ID

01566446

Vydavateľ

Springer, Berlin

Hmotnosť

414

Rozmery

156 x 234 x 14

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Modular Compiler Verification

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež