RbSyn: type- and effect-guided program synthesis.

Sankha Narayan Guria Jeffrey S. Foster David Van Horn

Published in: PLDI (2021)

Keyphrases

program synthesis
recursive programs
artificial intelligence
databases
data mining
decision trees
reinforcement learning
domain knowledge