4719 search results - page 17 / 944 » Newtonian program analysis |
82
Voted
LCPC
1997
Springer
15 years 4 months ago
1997
Springer
133
click to vote
ISSTA
2012
ACM
13 years 3 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...
110
Voted
APLAS
2010
ACM
14 years 9 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
134
Voted
CEC
2011
IEEE
14 years 15 days 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...
115
click to vote
TGC
2010
Springer
14 years 10 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...