5235 search results - page 193 / 1047 » Analysis of Multithreaded Programs |
264
click to vote
POPL
2007
ACM
16 years 6 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...
288
click to vote
ECOOP
2009
Springer
16 years 7 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...
169
click to vote
APLAS
2007
ACM
15 years 10 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...
155
click to vote
PLDI
2000
ACM
15 years 10 months ago
2000
ACM
Most compiler optimizations and software productivity tools rely on information about the effects of pointer dereferences in a program. The purpose of points-to analysis is to com...
164
Voted
ISPAN
2002
IEEE
15 years 11 months ago
2002
IEEE
Many applications written in C allocate memory blocks for their major data structures from the heap space at runtime. The analysis of heap-oriented pointers in such programs is cr...