Patrick Cousot

Principles of Abstract Interpretation

• Gebundenes Buch

Produktbeschreibung

"An introduction to the theory and practice of abstract interpretation, with applications to the semantics, specification, verification, and static analysis of computer programs"--

Produktdetails

• Verlag: MIT Press Ltd
• Seitenzahl: 816
• Erscheinungstermin: 21. September 2021
• Englisch
• Abmessung: 259mm x 186mm x 35mm
• Gewicht: 1474g
• ISBN-13: 9780262044905
• ISBN-10: 0262044900
• Artikelnr.: 62222055

Autorenporträt

Patrick Cousot is Julius Silver, Roslyn S. Silver, and Enid Silver Winslow Professor in the Computer Science Department at New York University.

Inhaltsangabe

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