2947 search results - page 11 / 590 » Analyzing Program Analyses |
IFIP
2009
Springer
15 years 3 months ago
2009
Springer
IWPC
2006
IEEE
15 years 4 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...
JCB
2000
14 years 10 months ago
2000
Large scale gene duplication is a major force driving the evolution of genetic functional innovation. Whole genome duplications are widely believed to have played an important rol...
ECOOP
2012
Springer
13 years 1 months ago
2012
Springer
Abstract. Since call graphs are an essential starting point for all interprocedural analyses, many tools and frameworks have been developed to generate the call graph of a given pr...
VSTTE
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...