Modular Compiler Verification

Name: Modular Compiler Verification
Brand: Springer, Berlin
SKU: 9783540634065
Price: 277.38 RON
Availability: InStock

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Autor: Markus Müller-Olms

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

277.38 lei

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

Informații despre carte

Autor

Markus Müller-Olms

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

1997

Pagini

260

EAN

9783540634065

ISBN

3540634061

Enbook ID

01566446

Editura

Springer, Berlin

Greutate

414

Dimensiuni

156 x 234 x 14

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Modular Compiler Verification

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și