71 citations · 85 across the 3 of their papers we have counts for
1 paper · 1 filter
Dominik Helm, Florian Kübler, Michael Reif +2
Current approaches combining multiple static analyses deriving different, independent properties focus either on modularity or performance. Whereas declarative approaches facilitat…