4 citations · 12 across the 8 of their papers we have counts for
1 paper · 2 filters
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…