Syntax-guided synthesis of Datalog programs-Reference-Cited by-同舟云学术

Syntax-guided synthesis of Datalog programs

Published:2018-10-26 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Si Xujie¹,Lee Woosuk²,Zhang Richard¹,Albarghouthi Aws³,Koutris Paraschos³,Naik Mayur¹

Affiliation:

1. University of Pennsylvania, USA

2. University of Pennsylvania, USA / Hanyang University, South Korea

3. University of Wisconsin-Madison, USA

Funder

National Science Foundation

Defense Advanced Research Projects Agency

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3236024.3236034

Reference72 articles.

1. BDD-Based Deductive Database. http://bddbddb.sourceforge.net/. BDD-Based Deductive Database. http://bddbddb.sourceforge.net/.

2. Datomic. https://www.datomic.com/. Datomic. https://www.datomic.com/.

3. IRIS (Integrated Rule Inference System) Reasoner. http://repo.roscidus.com/java/ iris. IRIS (Integrated Rule Inference System) Reasoner. http://repo.roscidus.com/java/ iris.

4. LogicBlox. http://www.logicblox.com/. LogicBlox. http://www.logicblox.com/.

5. Righting Code. http://rightingcode.org/. Righting Code. http://rightingcode.org/.

Cited by 34 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. S<sub>YNTH</sub>BX: An Example-guided Synthesizer for Bidirectional Programs on Relations;Journal of Information Processing;2024

2. Synthesis of Bidirectional Programs from Examples with Functional Dependencies;Journal of Information Processing;2024

3. Programming by Example Made Easy;ACM Transactions on Software Engineering and Methodology;2023-11-24

4. Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates;Proceedings of the ACM on Programming Languages;2023-10-16

5. Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs;Proceedings of the ACM on Programming Languages;2023-04-06