Program Synthesis = Proof Method + Knowledge (Example about Recursive Function Synthesis).

Paul Jacquet Marie-Laure Potet

Published in: ECAI (1986)

Keyphrases

program synthesis
high accuracy
prior knowledge
knowledge base
similarity measure
significant improvement
cost function
probabilistic model
domain knowledge
em algorithm
clustering method
segmentation method
database
databases
objective function
bayesian framework