9 citations · 9 across the 3 of their papers we have counts for
1 paper · 1 filter
Amir Shaikhha, Anna Herlihy, Hung Ngo
Datalog is a declarative query language that has proven highly effective for expressing static program analyses. Although Datalog has deep roots in database theory, most recent adv…