792 search results - page 60 / 159 » Static Analysis of XSLT Programs |
149
click to vote
CAV
2006
Springer
15 years 7 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
135
click to vote
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we present a novel approach that establishes a synergy between static and dynamic analyses for detecting memory errors in C code. We extend the standard C type syste...
132
click to vote
PPDP
2010
Springer
15 years 1 months ago
2010
Springer
We show how to achieve typed and unambiguous declarative pattern matching on strings using regular expressions extended with a simple recording operator. We give a characterizatio...
133
click to vote
ECLIPSE
2006
ACM
15 years 9 months ago
2006
ACM
Eclipse plug-ins have access to a rich collection of GUI components. One such component is the progress bar, which allows a long-running task to provide Eclipse users with feedbac...
224
click to vote
POPL
2007
ACM
16 years 3 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...