Flan: An Expressive and Efficient Datalog Compiler for Program Analysis.

Supun Abeysinghe Anxhelo Xhebraj Tiark Rompf

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

computationally efficient
cost effective
expressive power
highly optimized
query language
general purpose
parallel execution
information retrieval
query answering
transitive closure