Modular Compiler Verification

Name: Modular Compiler Verification
Brand: Springer, Berlin
SKU: 9783540634065
Price: 1147 CZK
Availability: InStock

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Autor: Markus Müller-Olms

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

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

Informace o knize

Autor

Markus Müller-Olms

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

1997

Stránek

260

EAN

9783540634065

ISBN

3540634061

Enbook ID

01566446

Vydavatel

Springer, Berlin

Hmotnost

414

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Modular Compiler Verification

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také