8 citations · 10 across the 3 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2021★ 1 cited
The Choice Construct in the Souffle Language
Xiaowen Hu, Joshua Karp, David Zhao +3
Datalog has become a popular implementation language for solving large-scale, real-world problems, including bug finders, network analysis tools, and disassemblers. These applicati…
cs.PL2019★ 1 cited
Provenance for Large-scale Datalog
David Zhao, Pavle Subotic, Bernhard Scholz
Logic programming languages such as Datalog have become popular as Domain Specific Languages (DSLs) for solving large-scale, real-world problems, in particular, static program anal…