1452 search results - page 115 / 291 » Algorithmic Analysis of Array-Accessing Programs |
130
click to vote
CAV
2008
Springer
15 years 2 months ago
2008
Springer
Termination of a heap-manipulating program generally depends on preconditions that express heap assumptions (i.e., assertions describing reachability, aliasing, separation and shar...
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
We present a context- and path-sensitive algorithm for detecting memory leaks in programs with explicit memory management. Our leak detection algorithm is based on an underlying e...
127
click to vote
JMLR
2012
13 years 2 months ago
2012
We develop a high dimensional nonparametric classification method named sparse additive machine (SAM), which can be viewed as a functional version of support vector machine (SVM)...
128
Voted
SAS
2010
Springer
14 years 11 months ago
2010
Springer
The efficiency of a points-to analysis is critical for several compiler optimizations and transformations, and has attracted considerable research attention. Despite several advanc...
105
Voted
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
Inclusion-based points-to analysis provides a good trade-off between precision of results and speed of analysis, and it has been incorporated into several production compilers inc...