Skip to main content
PBS logo
 
 

Search - High Integrity Compilation: A Case Study

High Integrity Compilation: A Case Study
High Integrity Compilation A Case Study
Author: Susan Stepney
Illustrating a route for mathematically specifying and rigorously implementing a high assurance compiler suitable for use in developing high integrity applications, this book explains the various techniques used at each stage of the development, and is illustrated throughout by a compiler for a small imperative language, targeting a typical inst...  more »
ISBN-13: 9780133810394
ISBN-10: 0133810399
Pages: 176
Rating:
  ?
0 stars, based on 0 rating
Publisher: Prentice Hall
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.