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á bibliografie

Vydáno v:	Proceedings of ACM on programming languages Ročník 8; číslo POPL; s. 2577 - 2609
Hlavní autoři:	Abeysinghe, Supun, Xhebraj, Anxhelo, Rompf, Tiark
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 02.01.2024
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!