Combinatorial sketching for finite programs.

Armando Solar-Lezama Liviu Tancau Rastislav Bodík Sanjit A. Seshia Vijay A. Saraswat

Published in: ASPLOS (2006)

Keyphrases

machine learning
bayesian networks
computer programs
application programs
prolog programs
data sets
databases
data mining
data structure
logic programs
finite number
fixpoint
automatic programming
provably correct