Syntax-guided synthesis of Datalog programs

Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018 ◽

10.1145/3236024.3236034 ◽

2018 ◽

Author(s):

Xujie Si ◽

Woosuk Lee ◽

Richard Zhang ◽

Aws Albarghouthi ◽

Paraschos Koutris ◽

...

Download Full-text