3 search results - page 1 / 1 » Eliminating Stack Overflow by Abstract Interpretation |
EMSOFT
2003
Springer
14 years 4 months ago
2003
Springer
act Interpretation John Regehr Alastair Reid Kirk Webb University of Utah
CGO
2007
IEEE
14 years 5 months ago
2007
IEEE
The JavaTM programming language does not allow the programmer to influence memory management. An object is usually allocated on the heap and deallocated by the garbage collector ...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites-a property that eliminates spurious interprocedural...