D. F. Bacon and P. F. Sweeney, Fast static analysis of C++ virtual function calls, OOPSLA '96, pp.324-341, 1996.

L. Cardelli, Type systems The Computer Science and Engineering Handbook, chapter 97, 2004.

D. R. Chase, M. Wegman, and F. K. Zadeck, Analysis of pointers and structures, PLDI '90, 1990.

P. Cousot, The calculational design of a generic abstract interpreter, Calculational System Design. NATO ASI Series F. IOS Press, 1999.

P. Cousot, Constructive design of a hierarchy of semantics of a transition system by abstract interpretation, Theoretical Computer Science, pp.47-103, 2002.
DOI : 10.1016/S0304-3975(00)00313-3

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, 1977.
DOI : 10.1145/512950.512973

URL : https://hal.archives-ouvertes.fr/hal-01108790

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, 1979.
DOI : 10.1145/567752.567778

J. Dean, D. Grove, and C. Chambers, Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis, ECOOP '95, 1995.
DOI : 10.1007/3-540-49538-X_5

M. Dotta, P. Suter, and V. Kuncak, On static analysis for expressive pattern matching, 2008.

S. Ecma-335, Common Language Infrastructure (CLI) ECMA, 2006.

B. Emir, Object-oriented pattern matching, 2007.

B. Emir, Q. Ma, and M. Odersky, Translation correctness for first-order objectoriented pattern matching, APLAS '07, pp.54-70, 2007.

B. Emir, M. Odersky, and J. Williams, Matching Objects with Patterns, ECOOP '07, pp.273-298, 2007.
DOI : 10.1007/978-3-540-73589-2_14

P. Ferrara, Checkmate: A Generic Static Analyzer of Java Multithreaded Programs, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009.
DOI : 10.1109/SEFM.2009.20

M. Hirzel, N. Nystrom, B. Bloom, and J. Vitek, Matchete: Paths through the Pattern Matching Jungle, PADL '08, 2008.
DOI : 10.1007/978-3-540-77442-6_11

R. Kumar and S. S. Chakraborty, Precise static type analysis for object oriented programs, ACM SIGPLAN Notices, vol.42, issue.2, pp.17-26, 2007.
DOI : 10.1145/1241761.1241763

T. Lindholm and F. Yellin, Java Virtual Machine Specification, 1999.

F. Logozzo and M. Fähndrich, On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis, Proceedings of CC '08, 2008.
DOI : 10.1007/978-3-540-78791-4_14

F. Logozzo and H. Venter, RATA: Rapid Atomic Type Analysis by Abstract Interpretation ??? Application to JavaScript Optimization, CC '10, 2010.
DOI : 10.1007/978-3-642-11970-5_5

B. Meyer, Object-Oriented Software Construction, 1997.

N. Mitchell and C. Runciman, Not all patterns, but enough, ACM SIGPLAN Notices, vol.44, issue.2, pp.49-60, 2009.
DOI : 10.1145/1543134.1411293

M. Odersky, The Scala Language Specification, 2008.

A. Richard and O. Lhotak, OOMatch, Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion , OOPSLA '07, pp.771-772, 2007.
DOI : 10.1145/1297846.1297880

F. Spoto, Julia: A Generic Static Analyser for the Java Bytecode, Proceedings of FTfJP'2005, 2005.

D. Syme, G. Neverov, and J. Margetson, Extensible pattern matching via a lightweight language extension, ACM SIGPLAN Notices, vol.42, issue.9, pp.29-40, 2007.
DOI : 10.1145/1291220.1291159