Sign in

Oracle-guided component-based program synthesis.

Susmit JhaSumit GulwaniSanjit A. SeshiaAshish Tiwari
Published in: ICSE (1) (2010)
Keyphrases
  • program synthesis
  • recursive programs
  • oracle database
  • inductive logic programming
  • database administration
  • database
  • databases
  • information retrieval
  • knowledge base
  • pairwise
  • database administrators