R. Bodik, R. Gupta, and V. Sarkar, ABCD: eliminating array bounds checks on demand, Proc. of PLDI, pp.321-333, 2000.

E. Börger and W. Schulte, A Programmer Friendly Modular Definition of the Semantics of Java, Formal Syntax and Semantics of Java, pp.353-404, 1999.
DOI : 10.1007/3-540-48737-9_10

E. Börger and W. Schulte, Initialization problems for java, Software -Concepts and Tools, pp.175-178, 2000.

M. Debbabi, N. Tawbi, and H. Yahyaoui, A formal dynamic semantics of java: An essential ingredient of java security, Journal of Telecommunications and Information Technology, vol.4, pp.81-119, 2002.

M. Fähndrich and K. R. Leino, Declaring and checking non-null types in an object-oriented language, ACM SIGPLAN Notices, vol.38, issue.11, pp.302-312, 2003.
DOI : 10.1145/949343.949332

M. Fähndrich and S. Xia, Establishing object invariants with delayed types, Proc. of OOPSLA, pp.337-350, 2007.

M. J. Harrold and M. L. Soffa, Efficient computation of interprocedural definition-use chains, ACM Transactions on Programming Languages and Systems, vol.16, issue.2, pp.175-204, 1994.
DOI : 10.1145/174662.174663

M. Hirzel, A. Diwan, and M. Hind, Pointer Analysis in the Presence of Dynamic Class Loading, Proc. of ECOOP, pp.96-122, 2004.
DOI : 10.1007/978-3-540-24851-4_5

L. Hubert, A non-null annotation inferencer for Java bytecode, Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, PASTE '08, 2008.
DOI : 10.1145/1512475.1512484
URL : https://hal.archives-ouvertes.fr/inria-00504006

L. Hubert, T. Jensen, and D. Pichardie, Semantic Foundations and Inference of Non-null Annotations, Proc. of FMOODS, pp.132-149, 2008.
DOI : 10.1007/978-3-540-68863-1_9
URL : https://hal.archives-ouvertes.fr/inria-00332356

D. Kozen and M. Stillerman, Eager Class Initialization for Java, Proc. of FTRTFT, pp.71-80, 2002.
DOI : 10.1007/3-540-45739-9_5

T. Lindholm and F. Yellin, The Java TM Virtual Machine Specification, Second Edition, 1999.

B. Livshits, J. Whaley, and M. S. Lam, Reflection Analysis for Java, Proc of APLAS, 2005.
DOI : 10.1007/11575467_11
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.143.1457

N. Belblidia and M. D. , A Dynamic Operational Semantics for JVML., The Journal of Object Technology, vol.6, issue.3, pp.71-100, 2007.
DOI : 10.5381/jot.2007.6.3.a2

G. Necula, Proof-carrying code, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '97, pp.106-119, 1997.
DOI : 10.1145/263699.263712

C. Unkel and M. S. Lam, Automatic inference of stationary fields: a generalization of java's final fields, Proc. of POPL, pp.183-195, 2008.