Modular Compiler Verification

Name: Modular Compiler Verification
Brand: Springer, Berlin
SKU: 9783540634065
Price: 212.42 PLN
Availability: InStock

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Autor: Markus Müller-Olms

Język:

Oprawa: Miękka

Wydawca: Springer, Berlin

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

212.42 zł

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

Informacje o książce

Autor

Markus Müller-Olms

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

1997

strony

260

EAN

9783540634065

ISBN

3540634061

Enbook ID

01566446

Wydawca

Springer, Berlin

Waga

414

Wymiary

156 x 234 x 14

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Modular Compiler Verification

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również