T. Ball, R. Majumdar, T. D. Millstein, and &. S. Rajamani, Automatic Predicate Abstraction of C Programs, PLDI'01, pp.203-21310, 2001.

J. Berdine, C. Calcagno, B. Cook, D. Distefano, P. O-'hearn et al., Shape Analysis for Composite Data Structures, CAV'07, pp.178-192, 2007.
DOI : 10.1007/978-3-540-73368-3_22

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

F. Bourdoncle, Abstract, Journal of Functional Programming, vol.154, issue.04, pp.407-42310, 1992.
DOI : 10.1017/S0956796800000496

B. E. Chang, End-User Program Analysis, 2008.

B. E. Chang and &. R. Leino, Abstract Interpretation with Alien Expressions and Heap Structures, VMCAI'05, pp.147-163, 2005.
DOI : 10.1007/978-3-540-30579-8_11

B. E. Chang and &. X. , Relational inductive shape analysis, POPL'08, pp.247-260, 2008.
DOI : 10.1145/1328438.1328469
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.224.43

B. E. Chang, X. Rival, and &. G. Necula, Shape Analysis with Structural Invariant Checkers, SAS'07, pp.384-401, 2007.
DOI : 10.1007/978-3-540-74061-2_24
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.161.1921

D. R. Chase, M. Wegman, and &. F. Zadeck, Analysis of Pointers and Structures, PLDI'90, pp.296-310, 1990.

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/inria-00528590

P. Cousot and &. R. Cousot, Systematic design of program analysis frameworks, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '79, pp.269-282, 1979.
DOI : 10.1145/567752.567778

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-97, 1978.
DOI : 10.1145/512760.512770

I. Dillig, T. Dillig, and &. A. Aiken, Precise reasoning for programs using containers, pp.187-20010, 2011.

D. Distefano, P. O-'hearn, and &. H. Yang, A Local Shape Analysis Based on Separation Logic, TACAS'06, pp.287-30210, 2006.
DOI : 10.1145/514188.514190

D. Gopan, T. W. Reps, and &. M. Sagiv, A framework for numeric analysis of array operations, POPL'05, pp.338-350, 2005.

S. Gulwani, B. Mccloskey, and &. A. Tiwari, Lifting abstract interpreters to quantified logical domains, POPL'08, pp.235-246, 2008.

N. Halbwachs and &. M. Péron, Discovering properties about arrays in simple programs, PLDI'08, pp.339-348, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00288274

S. Horwitz, A. J. Demers, and &. T. Teitelbaum, An efficient general iterative algorithm for dataflow analysis, Acta Informatica, vol.24, issue.6, pp.679-69410, 1987.
DOI : 10.1007/BF00282621

B. Jeannet and &. A. Miné, Apron: A Library of Numerical Abstract Domains for Static Analysis, CAV'09, pp.661-667, 2009.
DOI : 10.1007/978-3-642-02658-4_52
URL : https://hal.archives-ouvertes.fr/hal-00786354

N. Jones and &. S. Muchnick, Flow analysis and optimization of LISP-like structures, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '79, pp.102-131, 1981.
DOI : 10.1145/567752.567776

V. Laviron, B. E. Chang, and &. X. , Separating Shape Graphs, ESOP'10, pp.387-40610, 2010.
DOI : 10.1007/978-3-642-11957-6_21
URL : https://hal.archives-ouvertes.fr/inria-00539548

S. Magill, J. Berdine, E. Clarke, and &. B. Cook, Arithmetic Strengthening for Shape Analysis, SAS'07, pp.419-436, 2007.
DOI : 10.1007/978-3-540-74061-2_26

S. Magill, M. Tsai, P. Lee, and &. Tsay, Automatic numeric abstractions for heap-manipulating programs, POPL'10, pp.211-22210, 2010.

B. Mccloskey, T. Reps, and &. M. Sagiv, Statically Inferring Complex Heap, Array, and Numeric Invariants, SAS'10, pp.71-9910, 2010.
DOI : 10.1007/978-3-642-15769-1_6

A. Milanova, A. Rountev, and &. B. Ryder, Parameterized object sensitivity for points-to analysis for Java, ACM Transactions on Software Engineering and Methodology, vol.14, issue.1, pp.1-41, 2005.
DOI : 10.1145/1044834.1044835

A. Miné, The octagon abstract domain, HOSC, vol.19, issue.1, pp.31-10010, 2006.

J. Reynolds, Separation logic: a logic for shared mutable data structures, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, pp.55-74, 2002.
DOI : 10.1109/LICS.2002.1029817

X. Rival and &. E. Chang, Calling context abstraction with shapes, pp.173-18610, 2011.
DOI : 10.1145/1925844.1926406
URL : https://hal.archives-ouvertes.fr/hal-00760421

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

M. Sagiv, T. Reps, and &. R. Wilhelm, Parametric shape analysis via 3-valued logic, ACM Transactions on Programming Languages and Systems, vol.24, issue.3, pp.217-298, 2002.
DOI : 10.1145/514188.514190

M. Sagiv, T. W. Reps, and &. R. Wilhelm, Solving shape-analysis problems in languages with destructive updating, ACM Transactions on Programming Languages and Systems, vol.20, issue.1, pp.1-5010, 1998.
DOI : 10.1145/271510.271517

D. A. Schmidt, Denotational semantics: a methodology for language development, 1986.

D. A. Schmidt, Abstract Interpretation From a Denotational-semantics Perspective, Electronic Notes in Theoretical Computer Science, vol.249, pp.19-37, 2009.
DOI : 10.1016/j.entcs.2009.07.082

M. Sharir and &. A. Pnueli, Two approaches to interprocedural data flow analysis In: Program Flow Analysis: Theory and Applications, pp.189-233, 1981.

P. Sotin and &. X. , Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks, APLAS'12, pp.131-147, 2012.
DOI : 10.1007/978-3-642-35182-2_10
URL : https://hal.archives-ouvertes.fr/hal-00760427

A. Toubhans, B. E. Chang, and &. X. , Reduced Product Combination of Abstract Domains for Shapes, VMCAI'13, pp.375-395978, 2013.
DOI : 10.1007/978-3-642-35873-9_23
URL : https://hal.archives-ouvertes.fr/hal-00760428

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