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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| 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 |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn593331549 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 100402s2010 njua ob 001 0 eng d | ||
| 010 | |z 2009052130 | ||
| 040 | |a N$T |b eng |e pn |c N$T |d YDXCP |d DG1 |d EBLCP |d OSU |d IDEBK |d E7B |d DG1 |d OCLCQ |d B24X7 |d REDDC |d OCLCQ |d MERUC |d OCLCQ |d DEBSZ |d TEFOD |d OCLCF |d OCLCQ |d UKDOC |d TEFOD |d OCLCQ |d COO |d S3O |d OCLCQ |d DEBBG |d DG1 |d LIP |d OTZ |d LIV |d OCLCQ |d U3W |d OCLCQ |d AU@ |d OCLCQ |d BRF |d OCLCO |d OCLCQ |d INARC |d OCLCO |d OCLCL |d OCLCQ |d OCLCL | ||
| 015 | |a GBA9B3269 |2 bnb | ||
| 016 | 7 | |a 015426759 |2 Uk | |
| 019 | |a 520990420 |a 647877250 |a 816377697 |a 1058122156 |a 1392021532 | ||
| 020 | |a 9780470593349 |q (electronic bk.) | ||
| 020 | |a 0470593342 |q (electronic bk.) | ||
| 020 | |a 9780470593387 |q (electronic bk.) | ||
| 020 | |a 0470593385 |q (electronic bk.) | ||
| 020 | |z 9780470500958 | ||
| 020 | |z 0470500956 | ||
| 024 | 7 | |a 10.1002/9780470593387 |2 doi | |
| 029 | 1 | |a AU@ |b 000046311246 | |
| 029 | 1 | |a AU@ |b 000053263260 | |
| 029 | 1 | |a CHNEW |b 000600584 | |
| 029 | 1 | |a CHNEW |b 000935132 | |
| 029 | 1 | |a CHVBK |b 480154767 | |
| 029 | 1 | |a DEBBG |b BV043391007 | |
| 029 | 1 | |a DEBSZ |b 372601111 | |
| 029 | 1 | |a DEBSZ |b 400435748 | |
| 029 | 1 | |a DEBSZ |b 430825218 | |
| 029 | 1 | |a GBVCP |b 657895210 | |
| 029 | 1 | |a NZ1 |b 15916258 | |
| 035 | |a (OCoLC)593331549 |z (OCoLC)520990420 |z (OCoLC)647877250 |z (OCoLC)816377697 |z (OCoLC)1058122156 |z (OCoLC)1392021532 | ||
| 037 | |a D4042CA4-42B8-4F26-8397-D92B3BFE8A67 |b OverDrive, Inc. |n http://www.overdrive.com | ||
| 050 | 4 | |a QA76.76.C65 |b S345 2010eb | |
| 072 | 7 | |a COM |x 010000 |2 bisacsh | |
| 082 | 0 | 4 | |a 005.4/53 |2 22 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Safonov, V. O. |q (Vladimir Olegovich) |1 https://id.oclc.org/worldcat/entity/E39PCjGHMfjVXdqWTt4ByXWQ7b | |
| 245 | 1 | 0 | |a Trustworthy compilers / |c Vladimir O. Safonov. |
| 260 | |a Hoboken, N.J. : |b John Wiley & Sons, |c ©2010. | ||
| 300 | |a 1 online resource (xx, 295 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references (pages 279-284) and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a 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. | |
| 520 | |a 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. | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Compilers (Computer programs) | |
| 650 | 0 | |a Interpreters (Computer programs) | |
| 650 | 6 | |a Compilateurs (Logiciels) | |
| 650 | 6 | |a Interpréteurs (Logiciels) | |
| 650 | 7 | |a COMPUTERS |x Compilers. |2 bisacsh | |
| 650 | 7 | |a Compilers (Computer programs) |2 fast | |
| 650 | 7 | |a Interpreters (Computer programs) |2 fast | |
| 758 | |i has work: |a Trustworthy compilers (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGYpRK7f7fKHQXvYDK8t8C |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Safonov, V.O. (Vladimir Olegovich). |t Trustworthy compilers. |d Hoboken, N.J. : John Wiley & Sons, ©2010 |z 9780470500958 |w (DLC) 2009052130 |w (OCoLC)441196480 |
| 830 | 0 | |a Quantitative software engineering series. | |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=485634 |z Texto completo |
| 938 | |a 123Library |b 123L |n 11144 | ||
| 938 | |a Books 24x7 |b B247 |n bks00035179 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL485634 | ||
| 938 | |a ebrary |b EBRY |n ebr10366446 | ||
| 938 | |a EBSCOhost |b EBSC |n 310331 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 255146 | ||
| 938 | |a YBP Library Services |b YANK |n 3133978 | ||
| 938 | |a YBP Library Services |b YANK |n 3174853 | ||
| 938 | |a Internet Archive |b INAR |n trustworthycompi0000safo | ||
| 994 | |a 92 |b IZTAP | ||