Resource-guided program synthesis.

Tristan Knoth Di Wang Nadia Polikarpova Jan Hoffmann

Published in: PLDI (2019)

Keyphrases

program synthesis
resource allocation
inductive logic programming
recursive programs
pairwise
resource management
resource constraints
domain knowledge
software engineering
data mining
learning algorithm
training data
relational databases
co occurrence