Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions

In  Proceedings of the 6th Workshop on Quantitative Aspects of Programming Languages (QAPL)

Details

TypeInproceedings
> Publications > Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions