Skip to Main Content (Press Enter) Toggle side nav
Principles of Abstract Interpretation by Patrick Cousot
Add to bookshelf
Add to Bookshelf

Principles of Abstract Interpretation

Best Seller
Principles of Abstract Interpretation by Patrick Cousot
Hardcover $85.00
Sep 21, 2021 | ISBN 9780262044905

Buy from Other Retailers:

See All Formats (1) +
  • Sep 21, 2021 | ISBN 9780262044905

    Buy from Other Retailers:

  • Sep 21, 2021 | ISBN 9780262361521

    Buy from Other Retailers:

*This title is not eligible for purchase to earn points nor for redemption with your code in the Reader Rewards program

Product Details

Table Of Contents

I Introduction
II Syntax
III Trace Semantics
IV Properties and their Abstractions
V Fixpoints and their Abstractions
VI Reachability Semantics
VII Abstract Domain and Abstract Interpreter
VIII Specification and Verification
IX Cartesian Static Analysis 
X Effective Fixpoint Approximation
XI Relational Static Analysis
XII Symbolic Static Analysis
XIII Backward Static Analysis
XIV Sound Static Analysis Tools
XV Conclusion
Bibliography 
Author Index
Index
Symbol Index
Project Index

Looking for More Great Reads?
21 Books You’ve Been Meaning to Read
Get the latest updates from Patrick Cousot
And go from well-read to best read with book recs, deals and more in your inbox every week.
And go from well-read to best read with book recs, deals and more in your inbox every week.
By clicking SIGN UP, I acknowledge that I have read and agree to Penguin Random House’s Privacy Policy and Terms of Use.
Dismiss
Thanks!
Something awesome is on its way.
Back to Top