Sign in
An empirical study of adaptive concretization for parallel program synthesis.
Jinseong Jeon
Xiaokang Qiu
Armando Solar-Lezama
Jeffrey S. Foster
Published in:
Formal Methods Syst. Des. (2017)
Keyphrases
</>
program synthesis
parallel implementation
distributed memory
parallel algorithm
parallel processing
inductive logic programming
shared memory
databases
information retrieval
relational databases
active learning