792 search results - page 74 / 159 » Static Analysis of XSLT Programs |
118
Voted
EUROPAR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
100
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
We present Phantm, a static analyzer that uses a flowsensitive analysis to detect type errors in PHP applications. Phantm can infer types for nested arrays, and can leverage runti...
89
Voted
PEPM
2009
ACM
15 years 9 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
100
click to vote
APLAS
2010
ACM
15 years 1 months ago
2010
ACM
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
PLDI
1998
ACM
15 years 5 months ago
1998
ACM
This paper evaluates three alias analyses based on programming language types. The first analysis uses type compatibility to determine aliases. The second extends the first by u...