Correctness by Construction for Probabilistic Programs.
Annabelle McIverCarroll MorganPublished in: ISoLA (1) (2020)
Keyphrases
- provably correct
- probabilistic model
- data driven
- generative model
- bayesian networks
- construction process
- probabilistic logic
- real world
- probabilistic approaches
- java programs
- probabilistic interpretation
- computer programs
- conditional probabilities
- multi agent
- database
- probability theory
- intermediate level
- automatic programming
- control structures
- artificial intelligence