Patrick Cousot, On Various Abstract Understandings of Abstract Interpretation

Patrick Cousot.
On Various Abstract Understandings of Abstract Interpretation
In Proceedings of the 9th International Symposium on Theoretical Aspects of Software Engineering, Zhiqiu Huang and Jun Sun (Eds), Nanjing, China, September 12-14, 2015. © IEEE Computer Society Press, 2015.
Paper:
- PDF (37 KB)
Slides of the 25mn presentation at TASE'2015:
- 4 slides per landscape page, (34.6 Mb)
Abstract:
We discuss several possible understandings and misunderstandings of Abstract Interpretation theory and practice at various levels of abstraction.
Keywords:
Abstract induction, Abstract interpretation, Abstraction, Completeness, Dual-narrowing, Dual-widening, Extrapolation, Formal methods, Galois Connection, Interpolation, Narrowing, Semantics, Soundness, Static analysis, Static checking, Static verification, Verification, Widening.

Bibliographic reference:

\bibitem{PCousot-TASE-15}
P.~Cousot.
\newblock On Various Abstract Understandings of Abstract Interpretation.
\newblock In \emph{9th International Symposium on Theoretical Aspects of Software Engineering},
           Nanjing, China, 12-14 September 2015, IEEE Computer Society Press, 2015.

copyright notice, IEEE copyright policy
Last modified: Thu Sep 17 12:01:11 EDT 2015