High Integrity Compilation: A Case Study - Tapa blanda

Stepney, Susan

 
9780133810394: High Integrity Compilation: A Case Study

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.