4725 search results - page 13 / 945 » Dependence-Based Program Analysis |
POPL
2010
ACM
15 years 6 months ago
2010
ACM
94
Voted
ADAEUROPE
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
113
click to vote
FOGA
2011
14 years 28 days ago
2011
Analyzing the computational complexity of evolutionary algorithms (EAs) for binary search spaces has significantly informed our understanding of EAs in general. With this paper, ...
LCPC
1997
Springer
15 years 1 months ago
1997
Springer
103
click to vote
ISSTA
2012
ACM
12 years 12 months ago
2012
ACM
We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent advances on sparse pointer analysis, Saber is the first to use a full-sparse va...