Declaring and Checking Non-null Types in an Object-Oriented Language (2003)
Cached
Download Links
- [research.microsoft.com]
- [www.eecs.umich.edu]
- DBLP
Other Repositories/Bibliography
| Citations: | 88 - 5 self |
BibTeX
@MISC{Fähndrich03declaringand,
author = {Manuel Fähndrich and K. Rustan M. Leino},
title = {Declaring and Checking Non-null Types in an Object-Oriented Language},
year = {2003}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Distinguishing non-null references from possibly-null references at the type level can detect null-related errors in objectoriented programs at compile-time. This paper gives a proposal for retrofitting a language such as C# or Java with non-null types. It addresses the central complications that arise in constructors, where declared non-null fields may not yet have been initialized, but the partially constructed object is already accessible. The paper reports experience with an implementation for annotating and checking null-related properties in C# programs.
