Abstraction-Guided Synthesis.

Published in: VMCAI (2013)

Keyphrases

program synthesis
high level
database
machine learning
e learning
clustering algorithm
database systems
probability distribution
logic programs
data abstraction