Non-null References by Default in Java: Alleviating the Nullity Annotation Burden.

Patrice Chalin, Perry R. James

Browse the full ECOOP paper archive.