28 citations · 28 across the 1 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…