Delivery included to the United States

High Integrity Compilation

High Integrity Compilation A Case Study

Paperback (01 Apr 1993)

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's Synopsis

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 instruction set.

About the Publisher

Prentice Hall

Book information

ISBN: 9780133810394
Publisher: Prentice Hall
Imprint: Prentice Hall
Pub date:
DEWEY: 005.453
DEWEY edition: 20
Language: English
Number of pages: 176
Weight: 282g
Height: 235mm
Width: 178mm
Spine width: 12mm