X. Allamigeon, Non-disjunctive Numerical Domain for Array Predicate Abstraction, LNCS, vol.4960, pp.163-177, 2008.
DOI : 10.1007/978-3-540-78739-6_14

W. Xavier-allamigeon, C. Godard, and . Hymans, Static Analysis of String Manipulations in Critical Embedded C Programs, SAS 2006, pp.35-51, 2006.
DOI : 10.1007/11823230_4

B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne et al., A static analyzer for large safety-critical software, Proc. of PLDI'03, pp.196-207, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00128135

U. Bondhugula, S. Muthu-manikandan-baskaran, J. Krishnamoorthy, A. Ramanujam, P. Rountev et al., Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization in the Polyhedral Model, LNCS, vol.4959, pp.132-146, 2008.
DOI : 10.1007/978-3-540-78791-4_9

U. Bondhugula, A. Hartono, J. Ramanujam, and P. Sadayappan, A practical automatic polyhedral parallelizer and locality optimizer, Proc. of PLDI 2008, pp.101-113, 2008.

P. Cousot, Verification by abstract interpretation In Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, LNCS, vol.2772, pp.243-268, 2003.

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/hal-01108790

P. Cousot, R. Cousot, and F. Logozzo, A parametric segmentation functor for fully automatic and scalable array content analysis, Proc. of POPL 2011, pp.105-118, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00543874

P. Cousot and N. Halbwachs, Automatic discovery of linear restraints among variables of a program, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '78, pp.84-96, 1978.
DOI : 10.1145/512760.512770

I. Dillig, T. Dillig, and A. Aiken, Fluid Updates: Beyond Strong vs. Weak Updates, ESOP 2010, pp.246-266, 2010.
DOI : 10.1007/978-3-642-11957-6_14

D. Gopan and F. Dimaio, Nurit Dor, Thomas Reps, and Mooly Sagiv Numeric domains with summarized dimensions, TACAS 2004, pp.512-529, 2004.

D. Gopan, T. W. Reps, and S. Sagiv, A framework for numeric analysis of array operations, Proc. POPL 2005, pp.338-350, 2005.

N. Halbwachs and M. Péron, Discovering properties about arrays in simple programs, ACM SIGPLAN Notices, vol.43, issue.6, pp.339-348, 2008.
DOI : 10.1145/1379022.1375623
URL : https://hal.archives-ouvertes.fr/hal-00288274

X. Leroy, Formal certification of a compiler back-end, or: Programming a compiler with a proof assistant, Proc. POPL 2006, pp.42-54, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00000963

A. Miné, Symbolic Methods to Enhance the Precision of Numerical Abstract Domains, VMCAI 2006, pp.348-363, 2006.
DOI : 10.1007/11609773_23

D. Monniaux and F. Alberti, A Simple Abstraction of Arrays and Maps by Program Translation, SAS 2015, pp.217-234, 2015.
DOI : 10.1007/978-3-662-48288-9_13
URL : https://hal.archives-ouvertes.fr/hal-01162795

X. Rival and L. Mauborgne, The trace partitioning abstract domain, ACM Transactions on Programming Languages and Systems, vol.29, issue.5, 2007.
DOI : 10.1145/1275497.1275501

A. Venet, Abstract cofibered domains: Application to the alias analysis of untyped programs, SAS'96, pp.366-382, 1996.
DOI : 10.1007/3-540-61739-6_53