Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction

-15% su kodu: ENG15
71,98 
Įprasta kaina: 84,68 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
71,98 
Įprasta kaina: 84,68 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
2025-02-28 84.6800 InStock
Nemokamas pristatymas į paštomatus per 11-15 darbo dienų užsakymams nuo 10,00 

Knygos aprašymas

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.

Informacija

Autorius: Markus Müller-Olm
Serija: Lecture Notes in Computer Science
Leidėjas: Springer Berlin Heidelberg
Išleidimo metai: 1997
Knygos puslapių skaičius: 276
ISBN-10: 3540634061
ISBN-13: 9783540634065
Formatas: 235 x 155 x 16 mm. Knyga minkštu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction“

Būtina įvertinti prekę

Goodreads reviews for „Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction“