We consider the problem of computing summaries for procedures that soundly capture the effect of calling a procedure on program state that includes a mutable heap. Such summaries are the basis for a ...
Programs have been executed on http://codeforces.com/ which uses Intel(R) Core(TM) i5-3470 CPU @ 3.20GHz on Windows 7 64-bit. You may use http://codeforces.com ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback