4725 search results - page 103 / 945 » Dependence-Based Program Analysis |
JACM
2010
14 years 11 months ago
2010
160
click to vote
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...
138
click to vote
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
We present a static analysis for inferring the maximum amount of buffer space used by a program consisting of concurrently running processes communicating via buffered channels. We...
137
click to vote
ASE
2004
15 years 4 months ago
2004
Abstract. The use of pointers presents serious problems for software productivity tools for software understanding, restructuring, and testing. Pointers enable indirect memory acce...