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

Celý popis

Podrobná bibliografia

Vydané v:	Proceedings of ACM on programming languages Ročník 8; číslo POPL; s. 2577 - 2609
Hlavní autori:	Abeysinghe, Supun, Xhebraj, Anxhelo, Rompf, Tiark
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York, NY, USA ACM 02.01.2024
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!