Sciweavers

4725 search results - page 17 / 945
» Dependence-Based Program Analysis
Sort
View
188
Voted
POPL
2005
ACM
16 years 2 months ago
A framework for numeric analysis of array operations
Denis Gopan, Thomas W. Reps, Shmuel Sagiv
235
Voted
POPL
2004
ACM
16 years 2 months ago
Precise interprocedural analysis through linear algebra
Helmut Seidl, Markus Müller-Olm
99
Voted
ESEC
1999
Springer
15 years 6 months ago
Data-Flow Analysis of Program Fragments
Traditional interprocedural data-flow analysis is performed on whole programs; however, such whole-program analysis is not feasible for large or incomplete programs. We propose fr...
Atanas Rountev, Barbara G. Ryder, William Landi
ECOOP
2004
Springer
15 years 7 months ago
Efficiently Verifiable Escape Analysis
Matthew Q. Beers, Christian Stork, Michael Franz
86
Voted
PLDI
2003
ACM
15 years 7 months ago
Debugging temporal specifications with concept analysis
Glenn Ammons, David Mandelin, Rastislav Bodí...