High Integrity Compilation: A Case Study - Couverture souple

Stepney, Susan

Couverture souple

ISBN 10 : 0133810399 ISBN 13 : 9780133810394

Editeur : Prentice-Hall, 1993

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.

Détails de l'édition

• Éditeur: Prentice-Hall
• Date d'édition: 1993
• Langue: anglais
• ISBN 10: 0133810399
• ISBN 13: 9780133810394
• Reliure: Broché
• Nombre de pages: 200
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible