Search-based program synthesis.

Rajeev Alur Rishabh Singh Dana Fisman Armando Solar-Lezama

Published in: Commun. ACM (2018)

Keyphrases

program synthesis
search algorithm
search space
search strategy
search strategies
database
databases
machine learning
information retrieval
search engine
low level
general purpose
search methods
inductive logic programming