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]
@inproceedings{FahndrichL03,
title = {Declaring and checking non-null types in an object-oriented language},
author = {Manuel Fähndrich and K. Rustan M. Leino},
year = {2003},
doi = {10.1145/949305.949332},
url = {http://doi.acm.org/10.1145/949305.949332},
tags = {type checking},
researchr = {https://researchr.org/publication/FahndrichL03},
cites = {0},
citedby = {0},
pages = {302-312},
booktitle = {Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA},
editor = {Ron Crocker and Guy L. Steele Jr.},
publisher = {ACM},
isbn = {1-58113-712-5},
}