Probabilistic abstract interpretation and statistical testing

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

Volumn 2399, Issue , 2002, Pages 211-212

  Di Pierro, Alessandra ^a   Wiklicky, Herbert ^b  

^a UNIVERSITY OF PISA   (Italy)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84943241352     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45605-8_15     Document Type: Conference Paper

References (5)

1. P. Cousot and R. Cousot. Abstract Interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proceedings of POPL’77, pages 238-252, Los Angeles, 1977.
2. F. Deutsch. Bet Approximation in Inner Product Spaces, volume 7 of CMS Books in Mathematics. Springer Verlag, New York — Berlin, 2001.
3. A. Di Pierro and H. Wiklicky. Concurrent Constraint Programming: Towards Probabilistic Abstract Interpretation. In M. Gabbrielli and F. Pfenning, editors, Proceedings of PPDP 2000, pages 127-138, Monteéal, Canada, 2000.
4. A. Di Pierro and H. Wiklicky. Measuring the precision of abstract interpretations. In Proceedings of LOPSTR 2000, volume 2042 of Lecture Notes in Computer Science, pages 147-164, Berlin-New York, 2001. Springer Verlag.
5. D. Monniaux. An abstract Monte-Carlo method for the analysis of probabilistic programs. In Proceedings of POPL 2001, pages 93-101, London, 2001.