High Integrity Compilation: A Case Study - Softcover

Stepney, Susan

Softcover

ISBN 10: 0133810399 ISBN 13: 9780133810394

Publisher: Prentice-Hall, 1993

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.

Edition details

• Publisher: Prentice-Hall
• Publication date: 1993
• Language: English
• ISBN 10: 0133810399
• ISBN 13: 9780133810394
• Binding: Paperback
• Number of pages: 200