On Various Abstract Understandings of Abstract Interpretation

We discuss several possible understandings and misunderstandings of Abstract Interpretation theory and practice at various levels of abstraction.

[1]  Viktor Kuncak,et al.  Verification, Model Checking, and Abstract Interpretation - 13th International Confer , 2012 .

[2]  Nicolas Halbwachs,et al.  Automatic discovery of linear restraints among variables of a program , 1978, POPL.

[3]  Edmund M. Clarke.  My 27-year Quest to Overcome the State Explosion Problem , 2009, 2009 24th Annual IEEE Symposium on Logic In Computer Science.

[4]  Antoine Miné,et al.  Relational Thread-Modular Static Value Analysis by Abstract Interpretation , 2014, VMCAI.

[5]  Patrick Cousot,et al.  Types as abstract interpretations , 1997, POPL '97.

[6]  Patrick Cousot,et al.  A gentle introduction to formal verification of computer systems by abstract interpretation , 2010, Logics and Languages for Reliability and Security.

[7]  Deepak D'Souza,et al.  Verification, Model Checking, and Abstract Interpretation , 2015, Lecture Notes in Computer Science.

[8]  Patrick Cousot.  Constructive design of a hierarchy of semantics of a transition system by abstract interpretation , 2002, Theor. Comput. Sci..

[9]  Roberto Giacobazzi,et al.  Making abstract interpretations complete , 2000, JACM.

[10]  Roberto Giacobazzi,et al.  Correctness kernels of abstract interpretations , 2009, Inf. Comput..

[11]  Patrick Cousot,et al.  Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.

[12]  Patrick Cousot,et al.  Grammar semantics, analysis and parsing by abstract interpretation , 2011, Theor. Comput. Sci..

[13]  Peter Müller,et al.  An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer , 2015, VMCAI.

[14]  Jan Maluszy¿ski.  Verification, Model Checking, and Abstract Interpretation , 2009, Lecture Notes in Computer Science.

[15]  Patrick Cousot,et al.  Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation , 1992, PLILP.

[16]  Patrick Cousot,et al.  Why does Astrée scale up? , 2009, Formal Methods Syst. Des..

[17]  Patrick Cousot,et al.  Abstract interpretation: past, present and future , 2014, CSL-LICS.

[18]  Patrick Cousot,et al.  Abstracting Induction by Extrapolation and Interpolation , 2015, VMCAI.

[19]  Xavier Leroy,et al.  A Formally-Verified C Static Analyzer , 2015, POPL.

[20]  Patrick Cousot,et al.  Static determination of dynamic properties of programs , 1976 .

[21]  Patrick Cousot,et al.  Basic concepts of abstract interpretation , 2004, IFIP Congress Topical Sessions.

[22]  Patrick Cousot,et al.  Systematic design of program analysis frameworks , 1979, POPL.