A Theory of Slicing for Imperative Probabilistic Programs.

Torben Amtoft Anindya Banerjee

Published in: ACM Trans. Program. Lang. Syst. (2020)

Keyphrases

theoretical framework
probabilistic model
bayesian networks
formal theory
general theory
case study
computational model
data driven
imprecise probabilities
decision theory
uncertain data
generative model
database
information technology
artificial intelligence
neural network
data sets