General Program Synthesis Using Guided Corpus Generation and Automatic Refactoring.

Alexander Wild Barry Porter

Published in: SSBSE (2019)

Keyphrases

program synthesis
special case
recursive programs
machine learning
search engine
knowledge base
np hard
software systems
manually annotated