High Integrity Compilation: A Case Study - Tapa blanda

Stepney, Susan

 
9780133810394: High Integrity Compilation: A Case Study
Tapa blanda
ISBN 10: 0133810399 ISBN 13: 9780133810394
Editorial: Prentice-Hall, 1993

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.

Editorial
Prentice-Hall
Año de publicación
1993
Idioma
Inglés
ISBN 10 
0133810399
ISBN 13 
9780133810394
Encuadernación
Tapa blanda
Número de páginas
200
Contacto del fabricante
no disponible
Persona responsable
no disponible