96 search results - page 1 / 20 » Diagnosing Java Programs with Static Abstractions of Data St... |
IFIP12
2004
13 years 6 months ago
2004
ECAI
2004
Springer
13 years 10 months ago
2004
Springer
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...
ECOOP
2003
Springer
13 years 10 months ago
2003
Springer
Despite Java’s automatic reclamation of memory, memory leaks remain an important problem. For example, we frequently encounter memory leaks that cause production servers to crash...
ECOOP
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
IWPC
2006
IEEE
13 years 10 months ago
2006
IEEE
Analysis of dynamic data structure usage is useful for both program understanding and for improving the accuracy of other program analyses. Static analysis techniques, however, su...