Login / Signup
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