Recency-Abstraction for Heap-Allocated Storage, SAS, vol.4134, pp.221-239, 2006. ,
Static analysis and verification of aerospace software by abstract interpretation, AIAA Infotech@Aerospace, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00528611
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints, POPL. ACM, pp.238-252, 1977. ,
Automatic Analysis of Open Objects in Dynamic Language Programs, SAS, vol.8723, pp.134-150, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01095955
Garbage-Free Abstract Interpretation Through Abstract Reference Counting, ECOOP (LIPIcs), vol.134, p.33, 2019. ,
Cost versus precision for approximate typing for Python, PEPM. ACM, pp.89-98, 2017. ,
Static Value Analysis of Python Programs by Abstract Interpretation, NFM, vol.10811, pp.185-202, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01782390
Numeric Domains with Summarized Dimensions, TACAS, vol.2988, pp.512-529, 2004. ,
MaxSMT-Based Type Inference for Python 3, CAV, vol.10982, pp.12-19, 2018. ,
Single and Loving It: Must-Alias Analysis for Higher-Order Languages, POPL. ACM, pp.329-341, 1998. ,
Type Analysis for JavaScript, SAS, vol.5673, pp.238-255, 2009. ,
Combinations of reusable abstract domains for a multilingual static analyzer, Proc. of VSTTE19, pp.1-17, 2019. ,
, , 2019.
A dynamic evaluation of the precision of static heap abstractions, OOPSLA. ACM, pp.411-427, 2010. ,
Improving flow analyses via ?CFA: abstract garbage collection and counting, ICFP. ACM, pp.13-25, 2006. ,
Static Type Analysis by Abstract Interpretation of Python Programs, ECOOP (LIPIcs), 2020. ,