On abstraction refinement for program analyses in Datalog.

Xin Zhang Ravi Mangal Radu Grigore Mayur Naik Hongseok Yang

Published in: PLDI (2014)

Keyphrases

expressive power
high level
deductive databases
query language
logic programming
computer programs
datalog programs
recursive programs
hardware designs
reinforcement learning
relational databases
knowledge representation
data integration
data sets
integrity constraints
transitive closure
data abstraction