PMAF: an algebraic framework for static analysis of probabilistic programs.

Di Wang Jan Hoffmann Thomas W. Reps

Published in: PLDI (2018)

Keyphrases

static analysis
abstract interpretation
probabilistic model
symbolic execution
data sets
bayesian networks
source code