4722 search results - page 114 / 945 » Representation-independent program analysis |
EOR
2011
13 years 4 months ago
2011
JACM
2010
13 years 4 months ago
2010
MOR
2010
13 years 3 months ago
2010
PLDI
2012
ACM
11 years 11 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...
ESOP
2008
Springer
13 years 11 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...