6 search results - page 2 / 2 » AJANA: a general framework for source-code-level interproced... |
POPL
2008
ACM
14 years 5 months ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...