Sign in

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

Di WangJan HoffmannThomas W. Reps
Published in: PLDI (2018)
Keyphrases
  • static analysis
  • abstract interpretation
  • probabilistic model
  • symbolic execution
  • data sets
  • bayesian networks
  • source code