Includes bibliographical references (pages 279-284) and index.

Print version record.

Trustworthy Compilers; Contents; 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.

The Most Complete, Real-World Guide to Compiler Development-and the Principles of Trustworthy Compilers Drawing on the author's over thirty years of expertise in compiler development, research, and instruction, Trustworthy Compilers introduces and analyzes the concept of trustworthy compilers and the principles of trustworthy compiler development, and provides analytical overview of other promising research works in this area. Vladimir Safonov shares the benefit of his long experience as a teacher and compiler development professional to explain that-even in such a well-studied area.

John Wiley and Sons Wiley Online Library: Complete oBooks