1 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
Julian Erhard, Simmo Saan, Sarah Tilscher +4
To put static program analysis at the fingertips of the software developer, we propose a framework for interactive abstract interpretation. While providing sound analysis results,…