Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: High Integrity Compilation: A Case Study
Автор: Stepney S.
Аннотация:
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.