High Integrity Compilation
A Case Study
Seiten
1993
Prentice-Hall (Verlag)
9780133810394 (ISBN)
Prentice-Hall (Verlag)
9780133810394 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
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.
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.
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.
Introduction and background; specifying a language - by example; using prolog; Tosca - syntax; partitioning the specification; Tosca - states and environments; Tosca - semantics; calculating the meanings of programs; Ada - the target language; the templates - operational semantics; the "square" example, compiled; the proofs; the prolog implementation; winding up; concluding remarks.
| Erscheint lt. Verlag | 1.4.1993 |
|---|---|
| Verlagsort | Harlow |
| Sprache | englisch |
| Maße | 178 x 235 mm |
| Gewicht | 282 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Betriebssysteme / Server |
| Informatik ► Theorie / Studium ► Compilerbau | |
| ISBN-13 | 9780133810394 / 9780133810394 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
a beginner's guide to learning llvm compiler tools and core …
Buch | Softcover (2024)
Packt Publishing Limited (Verlag)
CHF 66,30
