Login / Signup

An empirical study of adaptive concretization for parallel program synthesis.

Jinseong JeonXiaokang QiuArmando Solar-LezamaJeffrey 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