Sciweavers

4725 search results - page 17 / 945
» Dependence-Based Program Analysis
Sort
View
POPL
2005
ACM
16 years 6 months ago
A framework for numeric analysis of array operations
Denis Gopan, Thomas W. Reps, Shmuel Sagiv
ESEC
1999
Springer
15 years 10 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 11 months ago
Efficiently Verifiable Escape Analysis
Matthew Q. Beers, Christian Stork, Michael Franz
PLDI
2003
ACM
15 years 11 months ago
Debugging temporal specifications with concept analysis
Glenn Ammons, David Mandelin, Rastislav Bodí...