Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions.
Michael J. A. SmithPublished in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
- normal distribution
- abstract interpretation
- imperative programs
- termination analysis
- random variables
- standard deviation
- mixture distribution
- bayesian networks
- probability density function
- static analysis
- active rules
- generative model
- covariance matrix
- probabilistic model
- active databases
- lead time
- probability distribution
- dynamic logic
- database
- model checking