Cargando…

Trustworthy compilers /

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 a...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Safonov, V. O. (Vladimir Olegovich)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Hoboken, N.J. : John Wiley & Sons, ©2010.
Colección:Quantitative software engineering series.
Temas:
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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.