Manuel Fähndrich, K. Rustan M. Leino. Declaring and checking non-null types in an object-oriented language. In Ron Crocker, Guy L. Steele Jr., editors, Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA. pages 302-312, ACM, 2003. [doi]
Abstract is missing.