Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions - Microsoft Research

Microsoft Translator |

Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions

Michael J. A. Smith
2008

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

Details

Type	Inproceedings

Related Labs

Microsoft Research Cambridge

Share

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