4719 search results - page 17 / 944 » Newtonian program analysis |
LCPC
1997
Springer
13 years 11 months ago
1997
Springer
ISSTA
2012
ACM
11 years 10 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...
APLAS
2010
ACM
13 years 4 months ago
2010
ACM
Abstract. The paper is devoted to an analysis of the concurrent features of asynchronous systems. A preliminary step is represented by the
CEC
2011
IEEE
12 years 7 months ago
2011
IEEE
—Constrained Genetic Programming (CGP) is a method of searching the Genetic Programming search space non-uniformly, giving preferences to certain subspaces according to some heur...
TGC
2010
Springer
13 years 5 months ago
2010
Springer
Recent work in resource analysis has translated the idea of amortised resource analysis to imperative languages using a program logic that allows mixing of assertions about heap sh...