High Integrity Compilation: A Case Study - Brossura

Stepney, Susan

 
9780133810394: High Integrity Compilation: A Case Study
Brossura
ISBN 10: 0133810399 ISBN 13: 9780133810394
Casa editrice: Prentice Hall, 1993

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Prentice Hall
Data di pubblicazione
1993
Lingua
Inglese
ISBN 10 
0133810399
ISBN 13 
9780133810394
Rilegatura
Copertina flessibile
Numero di pagine
200
Contatto del produttore
non disponibile
Persona responsabile
Yeepin GmbH
492000000000
sunshine12232@outlook.com

Alleestr.11
Kaiserslautern
Rheinland-Pfalz
67655
Germania