4719 search results - page 113 / 944 » Newtonian program analysis |
113
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
EOR
2011
14 years 10 months ago
2011
MOR
2010
14 years 10 months ago
2010
151
click to vote
PLDI
2012
ACM
13 years 6 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...
130
click to vote
ESOP
2008
Springer
15 years 5 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...