Adaptive Concretization for Parallel Program Synthesis.

Jinseong Jeon Xiaokang Qiu Armando Solar-Lezama Jeffrey S. Foster

Published in: CAV (2) (2015)

Keyphrases

program synthesis
parallel processing
inductive logic programming
parallel implementation
recursive programs
databases
feature selection
metadata
decision trees
training data
contextual information