RbSyn: Type- and Effect-Guided Program Synthesis.

Sankha Narayan Guria Jeffrey S. Foster David Van Horn

Published in: CoRR (2021)

Keyphrases

program synthesis
recursive programs
database
database systems
search engine
decision trees
high level
relational databases
object oriented
text classification