792 search results - page 60 / 159 » Static Analysis of XSLT Programs |
119
Voted
CAV
2006
Springer
15 years 4 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...
113
Voted
AMAST
2008
Springer
15 years 2 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...
112
Voted
PPDP
2010
Springer
14 years 11 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...
109
Voted
ECLIPSE
2006
ACM
15 years 6 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...
191
Voted
POPL
2007
ACM
16 years 1 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 ...