4 search results - page 1 / 1 » Changing Java's Semantics for Handling Null Pointer Exceptio... |
83
Voted
ISSRE
2008
IEEE
15 years 8 months ago
2008
IEEE
146
click to vote
PASTE
2010
ACM
15 years 4 months ago
2010
ACM
Many analysis techniques have been proposed to determine when a potentially null value may be dereferenced. But we have observed in practice that not every potential null derefere...
127
click to vote
ICTAC
2010
Springer
15 years 7 hour ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
230
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...