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.
- ISBN10 0133810399
- ISBN13 9780133810394
- Publish Date 1 April 1993
- Publish Status Out of Print
- Out of Print 31 October 2009
- Publish Country GB
- Publisher Pearson Education Limited
- Imprint Prentice-Hall
- Format Paperback
- Pages 200
- Language English