9 citations · 36 across the 34 of their papers we have counts for
1 paper · 1 filter
Pierre Ganty, Radu Iosif, Filip Konecny
We show how to underapproximate the procedure summaries of recursive programs over the integers using off-the-shelf analyzers for non-recursive programs. The novelty of our approac…