4725 search results - page 106 / 945 » Dependence-Based Program Analysis |
252
click to vote
Book
"This book is about data structures and algorithms, intermediate programming in Python, complexity science and the philosophy of science"
131
click to vote
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
The use of the DEEP development environment to analyze parallel program performance is described. The full integrated environment contains tools for the creation, analysis and deb...
239
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
Transparent persistence promises to integrate programming languages and databases by allowing procedural programs to access persistent data with the same ease as non-persistent da...
259
click to vote
ECOOP
2009
Springer
16 years 5 months ago
2009
Springer
Pointer analyses derived from a Context-Free-Language (CFL) reachability formulation achieve very high precision, but they do not scale well to compute the points-to solution for a...
145
click to vote
CAV
2012
Springer
13 years 7 months ago
2012
Springer
An algorithmic-learning-based termination analysis technique is presented. The new technique combines transition predicate abstraction, algorithmic learning, and decision procedure...