D. Cachera, T. P. Jensen, D. Pichardie, and V. Rusu, Extracting a data flow analyser in constructive logic, Theoretical Computer Science, vol.342, issue.1, pp.56-78, 2005.
DOI : 10.1016/j.tcs.2005.06.004

URL : https://hal.archives-ouvertes.fr/inria-00564633

P. Chalin and P. R. James, Non-null References by Default in Java: Alleviating the Nullity Annotation Burden, Proc. of European Conference on Object-Oriented Programming, pp.227-247, 2007.
DOI : 10.1007/978-3-540-73589-2_12

M. Cielecki, J. Fulara, K. Jakubczyk, and L. Jancewicz, Propagation of JML nonnull annotations in Java programs, Proc. of the 4th international symposium on Principles and practice of programming in Java (PPPJ'06), pp.135-140, 2006.

M. Das, S. Lerner, and M. Seigle, Esp: path-sensitive program verification in polynomial time, Proc. of the Conference on Programming language design and implementation (PLDI'02), pp.57-68, 2002.

T. Ekman and G. Hedin, Pluggable non-null types for Java, Extensible Compiler Construction, chapter, 2006.

M. Fähndrich and K. R. Leino, Declaring and checking non-null types in an object-oriented language, Proc. of Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'03), pp.302-312, 2003.

M. Fähndrich and S. Xia, Establishing object invariants with delayed types, OOPSLA'07: Proc. of the 22nd conference on Object Oriented Programming Systems and Applications, pp.337-350, 2007.

C. Flanagan, K. R. Leino, and E. Java, Houdini, an annotation assistant for, Proc. of International Symposium of Formal Methods Europe (FME'01), pp.500-517, 2001.
DOI : 10.1007/3-540-45251-6_29

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

S. N. Freund and J. C. Mitchell, A formal framework for the java bytecode language and verifier, Proc. of the 14th conference on Object-oriented programming, systems, languages, and applications (OOPSLA'99), pp.147-166, 1999.

D. Hovemeyer and W. Pugh, Finding more null pointer bugs, but not too many, Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering , PASTE '07, pp.9-14, 2007.
DOI : 10.1145/1251535.1251537

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

D. Hovemeyer, J. Spacco, and W. Pugh, Evaluating and tuning a static analysis to find null pointer bugs, ACM SIGSOFT Software Engineering Notes, vol.31, issue.1, pp.13-19, 2006.
DOI : 10.1145/1108768.1108798

L. Hubert, T. Jensen, and D. Pichardie, Semantic Foundations and Inference of Non-null Annotations, Research Report, vol.6482, 2008.
DOI : 10.1007/978-3-540-68863-1_9

URL : https://hal.archives-ouvertes.fr/inria-00332356

M. Kawahito, H. Komatsu, and T. Nakatani, Effective null pointer check elimination utilizing hardware trap, ACM SIGPLAN Notices, vol.35, issue.11, pp.139-149, 2000.
DOI : 10.1145/356989.357002

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

C. Male, D. J. Pearce, A. Potanin, and C. Dymnikov, Java Bytecode Verification for @NonNull Types, Proc. of the Conference on Compiler Construction (CC'08, 2008.
DOI : 10.1007/978-3-540-78791-4_16

R. Vallée-rai, P. Co, E. Gagnon, L. Hendren, P. Lam et al., Soot ? a Java bytecode optimization framework, CASCON'99: Proc. of the 1999 conference of the Centre for Advanced Studies on Collaborative research, p.13, 1999.