Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions

Electronic Notes in Theoretical Computer Science

Volumn 220, Issue 3, 2008, Pages 43-59

  Smith, Michael J A ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

Probabilistic abstract interpretation; Probabilistic semantics; Truncated normal distributions; Widening operators

Indexed keywords

ABSTRACTING; AGGLOMERATION; CONCRETES; IMAGE SEGMENTATION; INFORMATION THEORY; MATHEMATICAL OPERATORS; MESSAGE PASSING; NORMAL DISTRIBUTION; PROBABILITY; PROGRAM INTERPRETERS; SEMANTICS; UNCERTAINTY ANALYSIS;

ABSTRACT INTERPRETATIONS; COMPLEX SYSTEMS; CONCRETE STATES; EXACT DISTRIBUTIONS; IMPERATIVE LANGUAGES; IMPERATIVE PROGRAMS; LEVEL OF ABSTRACTIONS; LINEAR OPERATORS; MULTIVARIATE NORMAL DISTRIBUTIONS; PROBABILISTIC ABSTRACT INTERPRETATION; PROBABILISTIC ABSTRACT INTERPRETATIONS; PROBABILISTIC SEMANTICS; QUANTITATIVE PROPERTIES; TRUNCATED NORMAL DISTRIBUTIONS; WIDENING OPERATORS;

PROBABILITY DISTRIBUTIONS;

EID: 57449084548     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.11.018     Document Type: Article

References (9)

1. Cousot P., and Cousot R. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. POPL '77: Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1977), ACM 238-252
2. Horrace W.C. Some results on the multivariate truncated normal distribution. Journal of Multivariate Analysis 94 (2005) 209-221
3. Kozen D. Semantics of probabilistic programs. Journal of Computer and System Sciences 22 3 (1981) 328-350
4. Monniaux D. Abstract interpretation of probabilistic semantics. Seventh International Static Analysis Symposium (SAS'00). Lecture Notes in Computer Science number 1824 (2000), Springer-Verlag 322-339
5. Di Pierro A., Hankin C., and Wiklicky H. Quantitative static analysis of distributed systems. Journal of Functional Programming 15 5 (2005) 703-749
6. Di Pierro A., and Wiklicky H. Probabilistic abstract interpretation and statistical testing. PAPM-PROBMIV (2002) 211-212
7. D. Schmidt. Abstract interpretation in the operational semantics hierarchy. Technical report, Kansas State University, 1997
8. Smith M.J.A. Stochastic modelling of communication protocols from source code. Proceedings of the 5th Workshop on Quantitative Aspects of Programming Languages. (QAPL) (2007)
9. Tong Y.L. The Multivariate Normal Distribution (1990), Springer-Verlag