54 search results - page 1 / 11 » A Static Analysis to Detect Re-Entrancy in Object Oriented P... |
JOT
2008
13 years 5 months ago
2008
CC
2005
Springer
13 years 10 months ago
2005
Springer
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...
ICSM
2002
IEEE
13 years 10 months ago
2002
IEEE
When a software system enters the maintenance phase, the availability of accurate and consistent information about its organization can help alleviate the difficulties of program...
SC
2000
ACM
13 years 9 months ago
2000
ACM
The developers of high-performance scientific applications often work in complex computing environments that place heavy demands on program analysis tools. The developers need to...
ECOOP
1995
Springer
13 years 8 months ago
1995
Springer
Optimizing compilers for object-oriented languages apply static class analysis and other techniques to try to deduce precise information about the possible classes of the receivers...