4 search results - page 1 / 1 » Changing Java's Semantics for Handling Null Pointer Exceptio... |
62
Voted
ISSRE
2008
IEEE
15 years 4 months ago
2008
IEEE
113
click to vote
PASTE
2010
ACM
15 years 9 days 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...
ICTAC
2010
Springer
14 years 8 months 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 ...
186
Voted
POPL
2009
ACM
15 years 11 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...