792 search results - page 85 / 159 » Static Analysis of XSLT Programs |
117
click to vote
ACSC
2005
IEEE
15 years 6 months ago
2005
IEEE
We introduce a new approach to computing interprocedural modification side effects for Java programs in the presence of dynamic class loading. When compile-time unknown classes c...
113
click to vote
SAC
2008
ACM
15 years 19 days ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
121
click to vote
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
107
click to vote
CIKM
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents an interactive visualization toolkit for navigating and analyzing the National Science Foundation (NSF) funding information. Our design builds upon an improved...
SAC
2008
ACM
15 years 19 days ago
2008
ACM
se a new abstraction for pointer analysis that represents reads and writes to memory instead of traditional points-to relations. Compared to points-to graphs, our Assign-Fetch Gra...