Inducing Probabilistic Programs by Bayesian Program Merging
Irvin HwangAndreas StuhlmüllerNoah D. GoodmanPublished in: CoRR (2011)
Keyphrases
- computer programs
- bayesian networks
- posterior probability
- control program
- automatic programming
- symbolic execution
- program execution
- prolog programs
- computer chess
- java programs
- programming environment
- generative model
- decision theory
- data driven
- functional programs
- high level programming language
- program slicing
- stable model semantics
- programming environments
- novice programmers
- probabilistic model
- hardware designs
- programming education
- recursive programs
- uncertain data
- imperative programs
- program code
- loop formulas
- application programs
- merging algorithm
- bayesian learning
- static analysis
- posterior distribution
- maximum likelihood
- logic programs
- graphical models
- prior probabilities
- control flow
- probability theory
- answer set programming
- bayesian inference
- evaluation function
- high level programming