Xujie Si, Woosuk Lee, Richard Zhang, Aws Albarghouthi, Paraschos Koutris, Mayur Naik. Syntax-guided synthesis of Datalog programs. In Gary T. Leavens, Alessandro Garcia, Corina S. Pasareanu, editors, Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018. pages 515-527, ACM, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.