1 paper
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…