L. Andersen, Program Analysis and Specialization for the C Programming Language, 1994.

J. Berdine, C. Calcagno, B. Cook, D. Distefano, P. O-'hearn et al., Shape Analysis for Composite Data Structures, CAV, 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, pp.196-207, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00128135

B. E. Chang and R. Leino, Abstract Interpretation with Alien Expressions and Heap Structures, VMCAI, pp.147-163, 2005.
DOI : 10.1007/978-3-540-30579-8_11
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.214.4424

B. E. Chang, X. Rival, and G. Necula, Shape Analysis with Structural Invariant Checkers, SAS, 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

. Bor-yuh-evan, X. Chang, and . Rival, Relational inductive shape analysis, POPL, pp.247-260, 2008.

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, R. Cousot, J. Feret, L. Mauborgne, A. Miné et al., Combination of Abstractions in the ASTR??E Static Analyzer, ASIAN, pp.272-300, 2006.
DOI : 10.1007/978-3-540-24725-8_2

D. Distefano, P. O. Hearn, and H. Yang, A Local Shape Analysis Based on Separation Logic, TACAS, pp.287-302, 2006.
DOI : 10.1145/514188.514190

R. Giacobazzi and I. Mastroeni, Domain Compression for Complete Abstractions, VMCAI, pp.146-160, 2003.
DOI : 10.1007/3-540-36384-X_14
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.8051

S. Gulwani, T. Lev-ami, and M. Sagiv, A combination framework for tracking partition sizes, POPL, pp.239-251, 2009.

S. Gulwani and A. Tiwari, Combining abstract interpreters, PLDI, pp.376-386, 2006.
DOI : 10.1145/1133255.1134026

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

O. Lee, H. Yang, and R. Petersen, Program Analysis for Overlaid Data Structures, CAV, pp.592-608, 2011.
DOI : 10.1007/978-3-540-70545-1_36

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

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

A. Miné, Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics, LCTES, pp.54-63, 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

M. Sagiv, T. Reps, and R. Wilhelm, Parametric shape analysis via 3-valued logic, POPL, pp.105-118, 1999.
DOI : 10.1145/514188.514190
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.3161

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