Sciweavers

Share
21 search results - page 5 / 5
» Interprocedural Analysis with Lazy Propagation
Sort
View
POPL
2008
ACM
13 years 7 days ago
Generating precise and concise procedure summaries
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 ...
Greta Yorsh, Eran Yahav, Satish Chandra
books