Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions

Michael J. A. Smith

Details

Publication typeInproceedings
Published inProceedings of the 6th Workshop on Quantitative Aspects of Programming Languages (QAPL)
> Publications > Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions