Principles of Abstract Interpretation
By Patrick Cousot
By Patrick Cousot
By Patrick Cousot
By Patrick Cousot
Category: Science & Technology
Category: Science & Technology
-
$85.00
Sep 21, 2021 | ISBN 9780262044905
-
Sep 21, 2021 | ISBN 9780262361521
YOU MAY ALSO LIKE
CodeNotes for XML
The Secret Language of Maps
Fantasy Genesis Characters
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
21 Books You’ve Been Meaning to Read
Just for joining you’ll get personalized recommendations on your dashboard daily and features only for members.
Find Out More Join Now Sign In