Wiley Trustworthy Compilers 295pages software manual

Preface.
Acknowledgments.
1. Introduction.
2. Theoretical Foundations and Principles of Trustworthy Compilers.
3. Lexical Analysis and Its Trustworthiness Principles.
4. Parsing and Trustworthy Methods of Syntax Error Recovery.
5. Semantic Analysis and Typing: Efficient and Trustworthy Techniques.
6. Trustworthy Optimizations.
7. Code Generation and Runtime Data Representation.
8. Runtime, JIT, and AOT Compilation.
9. Graph Grammars and Graph Compilers.
10. Microsoft Phoenix, Phoenix-Targeted Tools, and Our Phoenix Projects.
Conclusions.
References.
Index.