On abstraction refinement for program analyses in Datalog.

Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang

Browse the full PLDI paper archive.