High Integrity Compilation: A Case Study

Front Cover
Prentice Hall, 1993 - Computers - 176 pages
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.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Specifying a Languageby Example
12
Using Prolog
25
ToscaSyntax
35
Copyright

11 other sections not shown

Common terms and phrases

Bibliographic information