Probabilistic Abstract Interpretation
No abstract available.
Related papers
- Abstract Interpretation of Probabilistic Semantics SAS 2000
- Backwards Abstract Interpretation of Probabilistic Programs ESOP 2001
- AURA: Precise Abstract Interpretation of Probabilistic Programs with Interval Data Uncertainty SAS 2025
- Probabilistic coherence spaces are fully abstract for probabilistic PCF POPL 2014
- An abstract Monte-Carlo method for the analysis of probabilistic programs POPL 2001
- Probabilistic Abstractions with Arbitrary Domains SAS 2011
- Bayesian strategies: probabilistic programs as generalised graphical models ESOP 2021
- Probabilistic programming semantics for name generation POPL 2021