1392 search results - page 4 / 279 » Dynamic Data Structure Analysis for Java Programs |
104
click to vote
ECOOP
2001
Springer
15 years 2 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...
IEEEPACT
1999
IEEE
15 years 1 months ago
1999
IEEE
Automatic parallelization of general-purpose programs is still not possible in general in the presence of irregular data structures and complex control-flows. One promising strate...
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
Generic repair of complex data structures is a new and exciting area of research. Existing approaches can integrate with good software engineering practices such as program assert...
SEFM
2009
IEEE
15 years 4 months ago
2009
IEEE
—In this paper we present ¼heckmate, a generic static analyzer of Java multithreaded programs based on the interpretation theory. It supports all the most relevant features of J...
AADEBUG
1997
Springer
15 years 1 months ago
1997
Springer
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...