反馈文件质量
lgli/剑桥 L111 高级数据流分析讲义.pdf
剑桥 L111 高级数据流分析讲义 🔍
it-ebooks iBooker it-ebooks, it-ebooks-extra
英语 [en] · 中文 [zh] · PDF · 0.9MB · 2015 · 📘 非小说类图书 · 🚀/lgli/lgrs · Save
描述
Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. The presentation demonstrates the extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic semantic properties as well as more advanced algorithmic techniques. The book is aimed at M.Sc. and Ph.D. students but will be valuable also for experienced researchers and professionals.
Erscheinungsdatum: 22.10.1999
备用文件名
lgrsnf/剑桥 L111 高级数据流分析讲义.pdf
备选标题
Compilers 1st Edition Plus Selected Online Chapters from Compilers 2nd Edition
备选标题
Compilers 1/e plus Selected Online Chapters from Compilers 2/e Update Package
备选标题
Compiler Design (International Computer Science Series)
备选标题
Compilers, principles, techniques, and tools
备选标题
Advanced Compiler Design and Implementation
备选标题
Principles of Program Analysis
备选作者
Reinhard Wilhelm; Dieter Maurer; Stephen S. Wilson; Renhard Wilhelm
备选作者
Reinhard Wilhelm, Dieter Maurer; translated by Stephen S. Wilson
备选作者
Aho, Alfred V., Lam, Monica S., Sethi, Ravi, Ullman, Jeffrey D.
备选作者
Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman
备选作者
Nielson, Flemming, Nielson, Hanne R., Hankin, Chris
备选作者
Flemming Nielson, Hanne Riis Nielson, Chris Hankin
备选作者
Wilhelm, R., Wilhelm, R., Maurer, D.
备选作者
Steven S. Muchnick
备选作者
Muchnick, Steven
备用出版商
Springer Spektrum. in Springer-Verlag GmbH
备用出版商
Addison-Wesley Longman, Incorporated
备用出版商
Steinkopff. in Springer-Verlag GmbH
备用出版商
Addison-Wesley Publishing Company
备用出版商
Prentice-Hall International
备用出版商
Da Capo Press, Incorporated
备用出版商
Morgan Kaufmann Publishers
备用出版商
Longman Publishing
备用出版商
Springer Berlin
备用出版商
Addison Wesley
备用出版商
Hachette Books
备用出版商
Basic Books
备用出版商
Adobe Press
备用出版商
Pearson
备用版本
Addison-Wesley series in computer science, Rev. ed, Upper Saddle River, NJ, 1988, ©1986
备用版本
Springer Nature (Textbooks & Major Reference Works), Berlin, Heidelberg, 2015
备用版本
International computer science series, Wokingham [etc, cop. 1995
备用版本
International computer science series, Wokingham, England, 1995
备用版本
1st ed. 1999. Corr. 2nd printing edition, December 7, 2004
备用版本
Wokingham, England, Reading, MA, England, 1995
备用版本
1st ed., corr. 2nd print, Berlin, ©2005
备用版本
United States, United States of America
备用版本
Berlin, New York, New York State, 1999
备用版本
San Francisco, Calif, California, 1997
备用版本
Nachdr, San Francisco, Calif, 2001
备用版本
Corrected, US, 1999
备用版本
Germany, Germany
备用版本
January 5, 2006
备用版本
1, PS, 1995
备用版本
1, PS, 1997
备用版本
Pck, 2006
元数据中的注释
Includes bibliographical references and indexes.
元数据中的注释
Includes bibliographical references (p. 801-820) and indexes.
元数据中的注释
Includes bibliographical references (p. 591-598) and index.
备用描述
From the Foreword by Susan L. Graham:
This book takes on the challenges of contemporary languages and
architectures, and prepares the reader for the new compiling problems that
will inevitably arise in the future.
The definitive book on advanced compiler design
This comprehensive, up-to-date work examines advanced issues in the design
and implementation of compilers for modern processors. Written for
professionals and graduate students, the book guides readers in designing
and implementing efficient structures for highly optimizing compilers for
real-world languages. Covering advanced issues in fundamental areas of
compiler design, this book discusses a wide array of possible code
optimizations, determining the relative importance of optimizations, and
selecting the most effective methods of implementation.
* Lays the foundation for understanding the major issues of advanced
compiler design
* Treats optimization in-depth
* Uses four case studies of commercial compiling suites to illustrate
different approaches to compiler structure, intermediate-code design, and
optimization these include Sun Microsystems's compiler for SPARC, IBM's for
POWER and PowerPC, DEC's for Alpha, and Intel's for Pentium an related
processors
* Presents numerous clearly defined algorithms based on actual cases
* Introduces Informal Compiler Algorithm Notation (ICAN), a language devised
by the author to communicate algorithms effectively to people
备用描述
Foreword / Susan Graham -- 1. Introduction To Advanced Topics -- 2. Informal Compiler Algorithm Notation (ican) -- 3. Symbol-table Structure -- 4. Intermediate Representations -- 5. Run-time Support -- 6. Producing Code Generators Automatically -- 7. Control-flow Analysis -- 8. Data-flow Analysis -- 9. Dependence Analysis And Dependence Graphs -- 10. Alias Analysis -- 11. Introduction To Optimization -- 12. Early Optimizations -- 13. Redundancy Elimination -- 14. Loop Optimizations -- 15. Procedure Optimizations -- 16. Register Allocation -- 17. Code Scheduling -- 18. Control-flow And Low-level Optimizations -- 19. Interprocedural Analysis And Optimization -- 20. Optimization For The Memory Hierarchy. Steven S. Muchnick. Includes Bibliographical References (p. 801-820) And Indexes.
备用描述
Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to program analysis: data flow analysis, constraint-based analysis, abstract interpretation, and type and effect systems. The presentation illustrates the extensive similarities between the approaches, helping readers to choose the best one to utilize.
备用描述
"This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. The presentation demonstrates the extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic semantic properties as well as more advanced algorithmic techniques. The book is aimed at M. Sc. and Ph. D. students but will be valuable also for experienced researchers and professionals."--Jacket
备用描述
This book provides a comprehensive, modern approach to the design and construction of compilers--one of the most vital components of a computer's system software. Unique in its coverage of the four major language paradigms, it covers the required theory in depth, while remaining focused on techniques that are of practical benefit to software developers.
备用描述
This is the first book on compiler design that covers object-oriented, functional, and logic programming languages--as well as imperative languages. The theory of computer design is covered in depth, but the focus throughout is on tools and implementation techniques which will be of practical use to software developers.
备用描述
In this book we shall introduce four of the main approaches to program analysis: Data Flow Analysis, Constraint Based Analysis, Abstract Interpretation, and Type and Effect Systems.
备用描述
F. Nielson, Hanne Riis Nielson, Chris Hankin. Corrected 2nd Printing, 2005. The First Ed. Published In 1999. Includes Bibliographical References (p. [439]-452) And Index.
备用描述
The text begins with an introduction to the principal ideas behind compilation, and then illustrates these ideas by constructing a simple one-pass compiler.
开源日期
2024-02-07
更多信息……

🚀 快速下载

成为会员以支持书籍、论文等的长期保存。为了感谢您对我们的支持，您将获得高速下载权益。❤️

🐢 低速下载

由可信的合作方提供。 更多信息请参见常见问题解答。 （可能需要验证浏览器——无限次下载！）

所有选项下载的文件都相同，应该可以安全使用。即使这样，从互联网下载文件时始终要小心。例如，确保您的设备更新及时。
显示外部下载
  • 对于大文件，我们建议使用下载管理器以防止中断。
    推荐的下载管理器：JDownloader
  • 您将需要一个电子书或 PDF 阅读器来打开文件，具体取决于文件格式。
    推荐的电子书阅读器：Anna的档案在线查看器、ReadEra和Calibre
  • 使用在线工具进行格式转换。
    推荐的转换工具：CloudConvert和PrintFriendly
  • 您可以将 PDF 和 EPUB 文件发送到您的 Kindle 或 Kobo 电子阅读器。
    推荐的工具：亚马逊的“发送到 Kindle”和djazz 的“发送到 Kobo/Kindle”
  • 支持作者和图书馆
    ✍️ 如果您喜欢这个并且能够负担得起，请考虑购买原版，或直接支持作者。
    📚 如果您当地的图书馆有这本书，请考虑在那里免费借阅。