High Integrity Compilation: A Case Study - Softcover

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.