14 citations · 19 across the 6 of their papers we have counts for
1 paper · 2 filters
Sandrine Blazy, Vincent Laporte, André Maroneze +1
Static analyzers based on abstract interpretation are complex pieces of software implementing delicate algorithms. Even if static analysis techniques are well understood, their imp…