High Integrity Compilation: A Case Study - Couverture souple

Stepney, Susan

 
9780133810394: High Integrity Compilation: A Case Study

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.