FlashMeta: a framework for inductive program synthesis.

Oleksandr Polozov Sumit Gulwani

Published in: OOPSLA (2015)

Keyphrases

program synthesis
main contribution
recursive programs
database
databases
inductive logic programming
low level
contextual information
theoretical framework
model driven