Declaring and checking non-null types in an object-oriented language.

Manuel Fhndrich, K. Rustan M. Leino

Browse the full OOPSLA paper archive.