9 citations · 19 across the 5 of their papers we have counts for
1 paper · 1 filter
Aaron Bembenek, Stephen Chong
Datalog has become a popular language for writing static analyses. Because Datalog is very limited, some implementations of Datalog for static analysis have extended it with new la…