50 citations · 160 across the 16 of their papers we have counts for
1 paper · 2 filters
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,…