792 search results - page 58 / 159 » Static Analysis of XSLT Programs |
159
click to vote
TACAS
2007
Springer
16 years 3 days ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
155
click to vote
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
198
click to vote
SOSE
2008
IEEE
16 years 11 days ago
2008
IEEE
Static code analysis is the analysis of software that is performed to acquire information concerning the dynamic behavior of programs built from that software, without actually ex...
179
click to vote
CGO
2010
IEEE
16 years 26 days ago
2010
IEEE
Reducing the arithmetic precision of a computation has real performance implications, including increased speed, decreased power consumption, and a smaller memory footprint. For s...
141
click to vote
ACSC
2009
IEEE
16 years 25 days ago
2009
IEEE
The Python programming language is typical among dynamic languages in that programs written in it are not susceptible to static analysis. This makes efficient static program compi...