4716 search results - page 100 / 944 » Iterative-free program analysis |
178
click to vote
Book
"This book is about data structures and algorithms, intermediate programming in Python, complexity science and the philosophy of science"
IPPS
1998
IEEE
15 years 2 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...
165
click to vote
POPL
2007
ACM
15 years 10 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...
173
click to vote
ECOOP
2009
Springer
15 years 10 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...
APLAS
2007
ACM
15 years 1 months ago
2007
ACM
Abstract. We present a formal framework for syntax directed probabilistic program analysis. Our focus is on probabilistic pointer analysis. We show how to obtain probabilistic poin...