Flan: An Expressive and Efficient Datalog Compiler for Program Analysis

Datalog has gained prominence in program analysis due to its expressiveness and ease of use. Its generic fixpoint resolution algorithm over relational domains simplifies the expression of many complex analyses. The performance and scalability issues of early Datalog approaches have been addressed by...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of ACM on programming languages Jg. 8; H. POPL; S. 2577 - 2609
Hauptverfasser:	Abeysinghe, Supun, Xhebraj, Anxhelo, Rompf, Tiark
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York, NY, USA ACM 02.01.2024
Schlagworte:	Automated static analysis Compilers Constraint and logic programming Logic and databases Program analysis Software and its engineering Theory of computation Logic Programming Datalog Program Analysis Generative Programming
ISSN:	2475-1421, 2475-1421
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!