Newtonian Program Analysis of Probabilistic Programs.

Di Wang Thomas W. Reps

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

bayesian networks
probabilistic model
probabilistic logic
uncertain data
data driven
fixpoint
computer programs
logic programs
probabilistic relational
probabilistic approaches
control structures
real time
semi supervised
probability distribution
relational databases
website
image processing
neural network