Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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