Sign in

Combinatorial sketching for finite programs.

Armando Solar-LezamaLiviu TancauRastislav BodíkSanjit A. SeshiaVijay 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