Screen LibraryTrustworthy compilers
Saved in:
| Main Authors: | |
|---|---|
| Published: |
|
| Literature type: | Electronic eBook |
| Language: | English |
| Series: |
Wiley series on quantitative software engineering
|
| Subjects: | |
| Online Access: |
http://onlinelibrary.wiley.com/book/10.1002/9780470593387 |
| Carrier Form: | 1 online resource (xx, 295 pages) : illustrations. |
| Bibliography: | Includes bibliographical references (pages 279-284) and index. |
| ISBN: |
9780470593349 (electronic bk.) 0470593342 (electronic bk.) 9780470593387 (electronic bk.) 0470593385 (electronic bk.) |
| Index Number: | QA76 |
| CLC: | TP314 |
| Contents: | 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. |