References

References

Notes

• checker framework ‘publications section’

• http://www.ccs.neu.edu/racket/pubs/dissertation-cobbe.pdf

• Patrice Chalin, Frédéric Rioux. 2005. Non-null References by Default in the Java Modeling Language. http://www.eecs.ucf.edu/~leavens/SAVCBS/2005/papers/Chalin-Rioux.pdf

• Patrice Chalin, Perry James. 2006. Non-Null References by Default in Java: Alleviating the Nullity Annotation Burden http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.66.2966&rep=rep1&type=pdf

• http://wiki.eclipse.org/JDT_Core/Null_Analysis, see 'hints' quote

• JSR 305, Annotations for Software Defect Detection, 2006