|
Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design
|
Buy Now
Modular Compiler Verification - A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Paperback, 1997 ed.)
Loot Price: R1,485
Discovery Miles 14 850
|
|
|
Modular Compiler Verification - A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Paperback, 1997 ed.)
Series: Lecture Notes in Computer Science, 1283
Expected to ship within 18 - 22 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
