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
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
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. ,
Esp: path-sensitive program verification in polynomial time, Proc. of the Conference on Programming language design and implementation (PLDI'02), pp.57-68, 2002. ,
Pluggable non-null types for Java, Extensible Compiler Construction, chapter, 2006. ,
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. ,
Establishing object invariants with delayed types, OOPSLA'07: Proc. of the 22nd conference on Object Oriented Programming Systems and Applications, pp.337-350, 2007. ,
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=10.1.1.19.8640
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. ,
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=10.1.1.93.1704
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
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
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=10.1.1.140.6431
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
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. ,