B. Akerblom, J. Stendahl, M. Tumlin, and T. Wrigstad, Tracing dynamic features in Python programs, Proceedings of the 11th Working Conference on Mining Software Repositories, MSR 2014, pp.292-295, 2014.

R. Amadini, A. Jordan, G. Gange, F. Gauthier, P. Schachte et al., Combining string abstract domains for JavaScript analysis: An evaluation, Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017), pp.41-57, 2017.

D. Ancona, M. Ancona, A. Cuni, and N. Matsakis, RPython: A step towards reconciling dynamically and statically typed OO languages, Proceedings of the 2007 Symposium on Dynamic Languages, DLS '07, pp.53-64, 2007.

G. Balakrishnan and T. Reps, Recency-abstraction for heap-allocated storage, Static Analysis: 13th International Symposium, 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, number 2010-3385 in AIAA, pp.1-38, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00528611

M. Bodin, A. Chargueraud, D. Filaretti, P. Gardner, S. Maffeis et al., A trusted mechanised JavaScript specification. SIGPLAN Not, vol.49, pp.87-100, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00910135

P. Cousot and R. Cousot, Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints, Proc. of the 4th ACM Symp. on Principles of Programming Languages (POPL'77), pp.238-252, 1977.

P. Cousot and N. Halbwachs, Automatic discovery of linear restraints among variables of a program, Conf. Rec. of the 5th Annual ACM SIGPLAN/SIGACT Symp. on Principles of Programming Languages (POPL'78), pp.84-97, 1978.

E. Standard, ECMAScript 2017 Language Specification, 2017.

A. Guha, C. Saftoiu, and S. Krishnamurthi, The essence of JavaScript, Proceedings of the 24th European Conference on Object-oriented Programming, ECOOP'10, pp.126-150, 2010.

D. Guth, A formal semantics of Python 3.3. Master's thesis, 2013.

M. Hassan, SMT-based static type inference for Python 3, 2017.

S. Jensen, P. A. Jonsson, and A. Møller, Remedying the eval that men do, Proceedings of the 2012 International Symposium on Software Testing and Analysis, ISSTA 2012, pp.34-44, 2012.

S. Jensen, A. Møller, and P. Thiemann, Type analysis for JavaScript, Proceedings of the 16th International Symposium on Static Analysis, SAS '09, pp.238-255, 2009.

V. Kashyap, K. Dewey, E. A. Kuefner, J. Wagner, K. Gibbons et al., JSAI: A static analysis platform for JavaScript, Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2014, pp.121-132, 2014.

M. Madsen and E. Andreasen, String analysis for dynamic field access, Compiler Construction: 23rd International Conference (CC 2014), pp.197-217, 2014.

A. Miné, The octagon abstract domain, Higher Order Symbol. Comput, vol.19, issue.1, pp.31-100, 2006.

H. Oh, K. Heo, W. Lee, W. Lee, and K. Yi, Design and implementation of sparse global analyses for C-like languages, SIGPLAN Not, vol.47, issue.6, pp.229-238, 2012.

F. Poli, A small step abstract interpreter for (desugared) Python. Master's thesis, Università degli Studi di Padova, Dipartimento di Matematica, 2016.

J. G. Politz, A. Martinez, M. Milano, S. Warren, D. Patterson et al., Python: The full monty, SIGPLAN Not, vol.48, issue.10, pp.217-232, 2013.

, Python Software Foundation. The Python language reference

J. F. Ranson, H. J. Hamilton, and P. W. Fong, A semantics of Python in Isabelle/HOL, 2008.

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

Y. Smaragdakis, M. Bravenboer, and O. Lhoták, Pick your contexts well: Understanding object-sensitivity, SIGPLAN Not, vol.46, issue.1, pp.17-30, 2011.

G. J. Smeding, An executable operational semantics for Python, 2009.

F. Spoto and . Julia, A generic static analyser for the Java bytecode, Proc. of the 7th Workshop on Formal Techniques for Java-like Programs (FTfJP'2005), p.17, 2005.