000 | 04855cam a2200853 a 4500 | ||
---|---|---|---|
001 | ocn593331549 | ||
003 | OCoLC | ||
005 | 20240523125531.0 | ||
006 | m o d | ||
007 | cr cnu---unuuu | ||
008 | 100402s2010 njua ob 001 0 eng d | ||
010 | _z 2009052130 | ||
040 |
_aN$T _beng _epn _cN$T _dYDXCP _dDG1 _dEBLCP _dOSU _dIDEBK _dE7B _dDG1 _dOCLCQ _dB24X7 _dREDDC _dOCLCQ _dMERUC _dOCLCQ _dDEBSZ _dTEFOD _dOCLCF _dOCLCQ _dUKDOC _dTEFOD _dOCLCQ _dCOO _dS3O _dOCLCQ _dDEBBG _dDG1 _dLIP _dOTZ _dLIV _dOCLCQ _dU3W _dOCLCQ _dAU@ _dOCLCQ _dBRF _dOCLCO _dOCLCQ _dINARC _dOCLCO _dOCLCL _dOCLCQ _dOCLCL |
||
015 |
_aGBA9B3269 _2bnb |
||
016 | 7 |
_a015426759 _2Uk |
|
019 |
_a520990420 _a647877250 _a816377697 _a1058122156 _a1392021532 |
||
020 |
_a9780470593349 _q(electronic bk.) |
||
020 |
_a0470593342 _q(electronic bk.) |
||
020 |
_a9780470593387 _q(electronic bk.) |
||
020 |
_a0470593385 _q(electronic bk.) |
||
020 | _z9780470500958 | ||
020 | _z0470500956 | ||
024 | 7 |
_a10.1002/9780470593387 _2doi |
|
029 | 1 |
_aAU@ _b000046311246 |
|
029 | 1 |
_aAU@ _b000053263260 |
|
029 | 1 |
_aCHNEW _b000600584 |
|
029 | 1 |
_aCHNEW _b000935132 |
|
029 | 1 |
_aCHVBK _b480154767 |
|
029 | 1 |
_aDEBBG _bBV043391007 |
|
029 | 1 |
_aDEBSZ _b372601111 |
|
029 | 1 |
_aDEBSZ _b400435748 |
|
029 | 1 |
_aDEBSZ _b430825218 |
|
029 | 1 |
_aGBVCP _b657895210 |
|
029 | 1 |
_aNZ1 _b15916258 |
|
035 |
_a(OCoLC)593331549 _z(OCoLC)520990420 _z(OCoLC)647877250 _z(OCoLC)816377697 _z(OCoLC)1058122156 _z(OCoLC)1392021532 |
||
037 |
_aD4042CA4-42B8-4F26-8397-D92B3BFE8A67 _bOverDrive, Inc. _nhttp://www.overdrive.com |
||
050 | 4 |
_aQA76.76.C65 _bS345 2010eb |
|
072 | 7 |
_aCOM _x010000 _2bisacsh |
|
082 | 0 | 4 |
_a005.4/53 _222 |
049 | _aMAIN | ||
100 | 1 |
_aSafonov, V. O. _q(Vladimir Olegovich) _1https://id.oclc.org/worldcat/entity/E39PCjGHMfjVXdqWTt4ByXWQ7b |
|
245 | 1 | 0 |
_aTrustworthy compilers / _cVladimir O. Safonov. |
260 |
_aHoboken, N.J. : _bJohn Wiley & Sons, _c�2010. |
||
300 |
_a1 online resource (xx, 295 pages) : _billustrations |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
504 | _aIncludes bibliographical references (pages 279-284) and index. | ||
588 | 0 | _aPrint version record. | |
505 | 0 | _aTrustworthy 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. | |
520 | _aThe 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. | ||
590 |
_aJohn Wiley and Sons _bWiley Online Library: Complete oBooks |
||
650 | 0 | _aCompilers (Computer programs) | |
650 | 0 | _aInterpreters (Computer programs) | |
650 | 6 | _aCompilateurs (Logiciels) | |
650 | 6 | _aInterpr�eteurs (Logiciels) | |
650 | 7 |
_aCOMPUTERS _xCompilers. _2bisacsh |
|
650 | 7 |
_aCompilers (Computer programs) _2fast |
|
650 | 7 |
_aInterpreters (Computer programs) _2fast |
|
758 |
_ihas work: _aTrustworthy compilers (Text) _1https://id.oclc.org/worldcat/entity/E39PCGYpRK7f7fKHQXvYDK8t8C _4https://id.oclc.org/worldcat/ontology/hasWork |
||
776 | 0 | 8 |
_iPrint version: _aSafonov, V.O. (Vladimir Olegovich). _tTrustworthy compilers. _dHoboken, N.J. : John Wiley & Sons, �2010 _z9780470500958 _w(DLC) 2009052130 _w(OCoLC)441196480 |
830 | 0 | _aQuantitative software engineering series. | |
856 | 4 | 0 | _uhttps://onlinelibrary.wiley.com/doi/book/10.1002/9780470593387 |
938 |
_a123Library _b123L _n11144 |
||
938 |
_aBooks 24x7 _bB247 _nbks00035179 |
||
938 |
_aEBL - Ebook Library _bEBLB _nEBL485634 |
||
938 |
_aebrary _bEBRY _nebr10366446 |
||
938 |
_aEBSCOhost _bEBSC _n310331 |
||
938 |
_aProQuest MyiLibrary Digital eBook Collection _bIDEB _n255146 |
||
938 |
_aYBP Library Services _bYANK _n3133978 |
||
938 |
_aYBP Library Services _bYANK _n3174853 |
||
938 |
_aInternet Archive _bINAR _ntrustworthycompi0000safo |
||
994 |
_a92 _bINLUM |
||
999 |
_c11441 _d11441 |