C. Artho, H. , and K. , Applying Jlint to Space Exploration Software, Proc. of the 5th International Conference on Verification, Model Checking and Abstract Interpretation, pp.297-308, 2004.
DOI : 10.1007/978-3-540-24622-0_24
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.296.6473

P. Chalin, J. , and P. , 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

D. R. Chase, M. Wegman, and F. K. Zadeck, Analysis of pointers and structures, Proc. of the ACM conference on Programming Language Design and Implementation (PLDI'90), pp.296-310, 1990.

M. Cielecki, J. Fulara, K. Jakubczyk, and L. Jancewicz, Propagation of JML non-null annotations in Java programs, Proceedings of the 4th international symposium on Principles and practice of programming in Java , PPPJ '06, pp.135-140, 2006.
DOI : 10.1145/1168054.1168073

T. Ekman, Extensible Compiler Construction, 2006.

T. Ekman and G. Hedin, Pluggable checking and inferencing of nonnull types for Java., The Journal of Object Technology, vol.6, issue.9, pp.455-475, 2007.
DOI : 10.5381/jot.2007.6.9.a23

M. Fähndrich and K. R. Leino, Declaring and checking non-null types in an object-oriented language, Proc. of the 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, Proc. of the Conference on Object Oriented Programming Systems and Applications (OOPSLA'07), pp.337-350, 2007.

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

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. In Formal Methods for Open Object-Based Distributed Systems, LNCS, vol.5051, pp.132-149, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00332356

K. R. Leino, J. B. Saxe, R. Stata, and . Esc, Java user's manual, technical note, 2000.

X. Leroy, D. Doligez, J. Garrigue, D. Rémy, and J. Vouillon, The Objective Caml system. Inria, 2007.

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

J. Meyer and T. Downing, Java Virtual Machine, 1997.

O. Shivers, Control flow analysis in scheme, Proc. of the ACM conference on Programming Language Design and Implementation (PLDI'88), pp.164-174, 1988.

F. Spoto, Nullness Analysis in Boolean Form, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008.
DOI : 10.1109/SEFM.2008.8

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