Syntax-Guided Synthesis of Datalog Programs (Conference Paper) | NSF PAGES

skip to main content

Citation Details

Syntax-Guided Synthesis of Datalog Programs

Award ID(s):: 1652140

NSF-PAR ID:: 10100604

Author(s) / Creator(s):: Si, Xujie; Lee, Woosuk; Zhang, Richard; Albarghouthi, Aws; Koutris, Paraschos; Naik, Mayur

Date Published:: 2019-01-01

Journal Name:: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering

Format(s):: Medium: X

Sponsoring Org:: National Science Foundation

Free Publicly Accessible Full Text
Accepted Manuscript1.0
Conference Paper:
The DOI is not currently available.