Abstract interpretation of probabilistic semantics (2000)
| Venue: | In Seventh International Static Analysis Symposium (SAS’00), number 1824 in Lecture Notes in Computer Science |
| Citations: | 22 - 5 self |
BibTeX
@INPROCEEDINGS{Monniaux00abstractinterpretation,
author = {David Monniaux},
title = {Abstract interpretation of probabilistic semantics},
booktitle = {In Seventh International Static Analysis Symposium (SAS’00), number 1824 in Lecture Notes in Computer Science},
year = {2000},
pages = {322--339},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. Following earlier models, we lift standard deterministic and nondeterministic semantics of imperative programs to probabilistic semantics. This semantics allows for random external inputs of known or unknown probability and random number generators. We then propose a method of analysis of programs according to this semantics, in the general framework of abstract interpretation. This method lifts an “ordinary ” abstract lattice, for non-probabilistic programs, to one suitable for probabilistic programs. Our construction is highly generic. We discuss the influence of certain parameters on the precision of the analysis, basing ourselves on experimental results. 1
