Oracle-guided component-based program synthesis.

Susmit Jha Sumit Gulwani Sanjit A. Seshia Ashish 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