Proving Termination of Probabilistic Programs Using Patterns.
Javier EsparzaAndreas GaiserStefan KieferPublished in: CAV (2012)
Keyphrases
- pattern mining
- probabilistic model
- bayesian networks
- data mining techniques
- term rewrite systems
- probabilistic logic programs
- automatic programming
- answer sets
- pattern discovery
- uncertain data
- design patterns
- generative model
- belief networks
- probabilistic reasoning
- fixpoint
- probabilistic logic
- control flow
- context sensitive