Backwards abstract interpretation of probabilistic programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2028, Issue , 2001, Pages 367-382

  Monniaux, David ^a  

^a LIENS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84945290603     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45309-1_24     Document Type: Conference Paper

References (17)

1. Francois Bourdoncle. Interprocedural abstract interpretation of block structured languages with nested procedures, aliasing and recursivity. In PLILP ’90, volume 456 of LNCS, pages 307-323. Springer-Verlag, 1990.
2. P. Cousot and R. Cousot. Static determination of dynamic properties of programs. In Proceedings of the Second International Symposium on Programming, pages 106¬130. Dunod, Paris, France, 1976.
3. Patrick Cousot and Radhia Cousot. Abstract interpretation and application to logic programs. J. Logic Prog., 2-3(13):103-179, 1992.
4. Alessandra Di Pierro and Herbert Wiklicky. Concurrent constraint programming: Towards probabilistic abstract interpretation. In 2nd International Conference on Principles and Practice of Declarative Programming (PPDP 2000), 2000.
5. J.L. Doob. Measure Theory, volume 143 of Graduate Texts in Mathematics. Springer-Verlag, 1994.
6. Paul R. Halmos. Measure theory. The University series in higher mathematics. Van Nostrand, 1950.
7. Jifeng He, K. Seidel, and A. Mc Iver. Probabilistic models for the guarded command language. Science of Computer Programming, 28(2-3):171-192, April 1997. Formal specifications: foundations, methods, tools and applications (Konstancin, 1995).
8. D. Kozen. Semantics of probabilistic programs. In 20th Annual Symposium on Foundations of Computer Science, pages 101-114, Long Beach, Ca., USA, October 1979. IEEE Computer Society Press.
9. D. Kozen. Semantics of probabilistic programs. Journal of Computer and System Sciences, 22(3):328-350, 1981.
10. Serge Lang. Linear algebra. Springer-Verlag, New York, 1989.
11. Gavin Lowe. Representing nondeterminism and probabilistic behaviour in reactive processes. Technical Report TR-11-93, Oxford University, 1993.
12. David Monniaux. Abstract interpretation of probabilistic semantics. In Seventh International Static Analysis Symposium (SAS’00), number 1824 in Lecture Notes in Computer Science. Springer-Verlag, 2000. © Springer-Verlag.
13. David Monniaux. An abstract Monte-Carlo method for the analysis of probabilistic programs (extended abstract). In 28th Symposium on Principles of Programming Languages (POPL ’01). Association for Computer Machinery, 2001. To appear.
14. Carroll Morgan, Annabelle Mc Iver, Karen Seidel, and J. W. Sanders. Probabilistic predicate transformers. Technical Report TR-4-95, Oxford University, February 1995.
15. Carroll Morgan, Annabelle Mc Iver, Karen Seidel, and J. W. Sanders. Refinement- oriented probability for CSP. Formal Aspects of Computing, 8(6):617-647, 1996.
16. Reuven Y. Rubinstein. Simulation and the Monte-Carlo Method. Wiley series in probabilities and statistics. John Wiley & Sons, 1981.
17. Walter Rudin. Real and Complex Analysis. McGraw-Hill, 1966.