Modular collaborative program analysis in OPAL
Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, Mira Mezini · 2020
Current approaches combining multiple static analyses deriving different, independent properties focus either on modularity or performance. Whereas declarative approaches facilitate modularity and automated, analysis-independent optimizations, imperative approaches foster manual, analysis-specific optimizations.