On abstraction refinement for program analyses in Datalog
Xin Zhang‚ Ravi Mangal‚ Radu Grigore‚ Mayur Naik and Hongseok Yang
Book Title
ACM SIGPLAN Conference on Programming Language Design and Implementation‚ PLDI '14‚ Edinburgh‚ United Kingdom − June 09 − 11‚ 2014
Editor
Michael F. P. O'Boyle and Keshav Pingali
ISBN
978−1−4503−2784−8
Pages
27
Publisher
ACM
Year
2014