High integrity compilation: a case study
 |
|
Описание:
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.Похожие книги
 | RoboHelp Classic 2000, Skills & Drills Автор: Kevin A. Siegel Год: 1999 |
 | Compiler design: theory, tools, and examples Автор: Seth D. Bergmann Год: 1994 |
| The Anatomy of a Compiler Автор: John A. N Lee Год: 1974 |
| Parsing Techniques: A Practical Guide Автор: Grune D., Jacobs C.J.H. Год: 1990 |
 | AOT Compiler Год: 2011 |
 | Clip (compiler) Год: 2011 |