Augmenting Type Signatures for Program Synthesis.

Bruce Collie Michael F. P. O'Boyle

Published in: CoRR (2019)

Keyphrases

program synthesis
knowledge base
inductive logic programming
database
databases
low level
text mining
constraint satisfaction problems
recursive programs