At the End of Synthesis: Narrowing Program Candidates.

David Shriver Sebastian G. Elbaum Kathryn T. Stolee

Published in: ICSE-NIER (2017)

Keyphrases

program synthesis
functional programs
computer programs
machine learning
high level
databases
video sequences
practical experience
programming environment
static analysis
computational complexity
search algorithm
multiscale
website
image processing
artificial intelligence
data mining