Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)

Datalog engines for fixpoint evaluation have brought great benefits to static program analysis over the past decades. A Datalog specification of an analysis allows a declarative, easy-to-maintain specification, without sacrificing performance, and indeed often achieving significant speedups compared...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of ACM on programming languages Jg. 9; H. OOPSLA2; S. 2199 - 2226
Hauptverfasser:	Antoniadis, Anastasios, Tsatiris, Ilias, Grech, Neville, Smaragdakis, Yannis
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York, NY, USA ACM 09.10.2025
Schlagworte:	Constraint and logic programming Program analysis Theory of computation logic programming optimization Static analysis program analysis datalog
ISSN:	2475-1421, 2475-1421
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!