Jan 5, 2024 · A Datalog compiler fully embedded in Scala that leverages multi-stage programming to generate specialized code for enhanced performance.

In this work, we reconcile the competing demands of expressiveness and performance with Flan, a Datalog compiler fully embedded in Scala that leverages multi- ...

Duration: 19:28
Posted: Mar 20, 2024

In this work, we reconcile the competing demands of expressiveness and performance with Flan, a Datalog compiler fully embedded in Scala that leverages multi- ...

Mar 13, 2024 · Learn about "Flan: An Expressive and Efficient Datalog Compiler for Program Analysis," by Supun Abeysinghe, Anxhelo Xhebraj, Tiark Rompf, ...

Flan's simple operator interface allows the addition of an extensive set of features, including arbitrary aggregates, user-defined functions, and lattices, with ...

2019. Flan: an expressive and efficient datalog compiler for program analysis. S Abeysinghe, A Xhebraj, T Rompf. Proceedings of the ACM on Programming ...

Author of Flan: An Expressive and Efficient Datalog Compiler for Program Analysis within the POPL-track · Committee Member in Program Committee within the ...

2024. POPL. Flan: An Expressive and Efficient Datalog Compiler for Program Analysis. Show activities from other conferences. Share. POPL 2024-profile. View ...

Flan: An Expressive and Efficient Datalog Compiler for Program Analysis. ... Program Analysis: Datalog Paradigms: Logic Programming; Polymorphic ...