Modular Collaborative Program Analysis in OPAL

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 o...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Helm, Dominik, Kübler, Florian, Reif, Michael, Eichberg, Michael, Mezini, Mira
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Software Engineering
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!