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

Full description

Bibliographic Details

Published in:	Proceedings of ACM on programming languages Vol. 8; no. POPL; pp. 2577 - 2609
Main Authors:	Abeysinghe, Supun, Xhebraj, Anxhelo, Rompf, Tiark
Format:	Journal Article
Language:	English
Published:	New York, NY, USA ACM 02.01.2024
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!