Reconciling enumerative and deductive program synthesis.

Kangjing Huang Xiaokang Qiu Peiyuan Shen Yanjun Wang

Published in: PLDI (2020)

Keyphrases

program synthesis
integer programming
object oriented
abductive inference
recursive programs
explanation based learning
database languages
decision trees
semi supervised
context aware
inductive logic programming
metamodel