Sign in

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

Supun AbeysingheAnxhelo XhebrajTiark 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