反馈文件质量
nexusstc/Principles of Program Analysis/a89cfb987deaada1a11a8ca88fdda871.pdf
Principles of Program Analysis 🔍
Flemming Nielson, Hanne Riis Nielson, Chris Hankin Springer Berlin Heidelberg : Imprint : Springer, 1st ed., corr. 2nd print, Berlin, ©2005
英语 [en] · PDF · 10.6MB · 2005 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/zlib · Save
描述
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.
备用文件名
lgli/nielson2005.pdf
备用文件名
lgrsnf/nielson2005.pdf
备用文件名
zlib/Computers/Computer Science/Flemming Nielson, Hanne R. Nielson, Chris Hankin/Principles of Program Analysis_2456015.pdf
备选作者
Nielson, Flemming, Nielson, Hanne R., Hankin, Chris
备用出版商
Spektrum Akademischer Verlag. in Springer-Verlag GmbH
备用出版商
Springer Spektrum. in Springer-Verlag GmbH
备用出版商
Springer; Springer Berlin Heidelberg
备用出版商
Steinkopff. in Springer-Verlag GmbH
备用出版商
Springer London, Limited
备用出版商
Springer Nature
备用版本
Springer Nature (Textbooks & Major Reference Works), Berlin, Heidelberg, 2015
备用版本
Softcover version of original hardcover edition 1999, Berlin, 2010
备用版本
1st ed. 1999. Corr. 2nd printing edition, December 7, 2004
备用版本
Berlin, New York, New York State, 1999
备用版本
1st ed. 1999, Berlin, 2005
备用版本
Berlin, Heidelberg, 1999
备用版本
Corrected, US, 1999
备用版本
Germany, Germany
备用版本
Dec 01, 2010
备用版本
4, 20150227
元数据中的注释
0
元数据中的注释
lg1282076
元数据中的注释
{"last_page":482,"publisher":"Springer"}
元数据中的注释
Includes bibliographical references and indexes.
备用描述
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
备用描述
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: 01.12.2010
备用描述
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
备用描述
"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
备用描述
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.
开源日期
2014-10-07
更多信息……

🚀 快速下载

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

🐢 低速下载

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

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