Slicing of probabilistic programs based on specifications.
Marcelo NavarroFederico OlmedoPublished in: Sci. Comput. Program. (2022)
Keyphrases
- program slicing
- bayesian networks
- recursive programs
- control flow
- generative model
- probabilistic reasoning
- probabilistic model
- program synthesis
- programming environment
- information systems
- belief networks
- probabilistic logic
- formal verification
- probabilistic logic programs
- real time
- delay insensitive
- posterior probability
- information theoretic
- source code
- artificial intelligence
- neural network