G. Balakrishnan and T. W. Reps, Recency-Abstraction for Heap-Allocated Storage, SAS, vol.4134, pp.221-239, 2006.

J. Bertrane, P. Cousot, R. Cousot, J. Feret, L. Mauborgne et al., Static analysis and verification of aerospace software by abstract interpretation, AIAA Infotech@Aerospace, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00528611

P. Cousot and R. Cousot, Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints, POPL. ACM, pp.238-252, 1977.

A. Cox, B. Chang, and X. Rival, Automatic Analysis of Open Objects in Dynamic Language Programs, SAS, vol.8723, pp.134-150, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01095955

N. Van-es, Q. Stiévenart, and C. De-roover, Garbage-Free Abstract Interpretation Through Abstract Reference Counting, ECOOP (LIPIcs), vol.134, p.33, 2019.

L. Fritz and J. Hage, Cost versus precision for approximate typing for Python, PEPM. ACM, pp.89-98, 2017.

A. Fromherz, A. Ouadjaout, and A. Miné, Static Value Analysis of Python Programs by Abstract Interpretation, NFM, vol.10811, pp.185-202, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01782390

D. Gopan, F. Dimaio, N. Dor, T. W. Reps, and S. Sagiv, Numeric Domains with Summarized Dimensions, TACAS, vol.2988, pp.512-529, 2004.

M. Hassan, C. Urban, M. Eilers, and P. Müller, MaxSMT-Based Type Inference for Python 3, CAV, vol.10982, pp.12-19, 2018.

S. Jagannathan, P. Thiemann, S. Weeks, and A. K. Wright, Single and Loving It: Must-Alias Analysis for Higher-Order Languages, POPL. ACM, pp.329-341, 1998.

S. H. Jensen, A. Møller, and P. Thiemann, Type Analysis for JavaScript, SAS, vol.5673, pp.238-255, 2009.

M. Journault, A. Miné, R. Monat, and A. Ouadjaout, Combinations of reusable abstract domains for a multilingual static analyzer, Proc. of VSTTE19, pp.1-17, 2019.

M. Kramm, R. Chen, T. Sudol, M. Demello, A. Caceres et al., , 2019.

P. Liang, O. Tripp, M. Naik, and M. Sagiv, A dynamic evaluation of the precision of static heap abstractions, OOPSLA. ACM, pp.411-427, 2010.

M. Might and O. Shivers, Improving flow analyses via ?CFA: abstract garbage collection and counting, ICFP. ACM, pp.13-25, 2006.

R. Monat, A. Ouadjaout, and A. Miné, Static Type Analysis by Abstract Interpretation of Python Programs, ECOOP (LIPIcs), 2020.