31 search results - page 1 / 7 » Thread-Sensitive Points-to Analysis for Multithreaded Java P... |
ISCIS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Every running thread has its own thread context that consists of values of the fields of the target thread object. To consider the thread context in understanding the be...
OOPSLA
2001
Springer
13 years 9 months ago
2001
Springer
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
ECOOP
2009
Springer
14 years 5 months ago
2009
Springer
Pointer analyses derived from a Context-Free-Language (CFL) reachability formulation achieve very high precision, but they do not scale well to compute the points-to solution for a...
CONCURRENCY
2007
13 years 4 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
ASWEC
2001
IEEE
13 years 8 months ago
2001
IEEE
Static analysis is a tremendous help when trying to find faults in complex software. Writing multi-threaded programs is difficult, because the thread scheduling increases the prog...