About this scholarly article

Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 - On abstraction refinement for program analyses in Datalog by Zhang, Xin; Mangal, Ravi; Grigore, Radu; Naik, Mayur; Yang, Hongseok is a scholarly article available to read on EtoBox.

Author

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

Publisher

Association for Computing Machinery (ACM)

Published

2013

Language

EN