Safonov, V. O. <br/><br/>
Trustworthy compilers / 
Vladimir O. Safonov. 
 - Hoboken, N.J. :  John Wiley & Sons,  �2010. 
 - 1 online resource (xx, 295 pages) :  illustrations 
 - Quantitative software engineering series. .
<br/><br/>Includes bibliographical references (pages 279-284) and index. 
<br/><br/>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. 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9780470593349 0470593342 9780470593387 0470593385 
<br/><br/><label>Standard No.: </label>10.1002/9780470593387  doi 
<br/><br/><label>Source: </label>D4042CA4-42B8-4F26-8397-D92B3BFE8A67  OverDrive, Inc.  http://www.overdrive.com 
<br/><br/><label>LCCN: </label>
<br/><br/><label>Nat. Bib. No.: </label>GBA9B3269  bnb 
<br/><br/><label>Nat. Bib. Agency Control No.: </label>015426759  Uk 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Compilers (Computer programs)<br/>Interpreters (Computer programs)<br/>Compilateurs (Logiciels)<br/>Interpr�eteurs (Logiciels)<br/>COMPUTERS--Compilers.<br/>Compilers (Computer programs)<br/>Interpreters (Computer programs)
<br/><br/><label>LC Class. No.: </label>QA76.76.C65  / S345 2010eb 
<br/><br/><label>Dewey Class. No.: </label>005.4/53