Backwards Abstract Interpretation of Probabilistic Programs
No abstract available.
Related papers
- Combining Forward and Backward Abstract Interpretation of Horn Clauses SAS 2017
- Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation PLDI 2023
- Running Probabilistic Programs Backwards ESOP 2015
- Probabilistic Abstract Interpretation ESOP 2012
- Abstract Interpretation of Probabilistic Semantics SAS 2000
- AURA: Precise Abstract Interpretation of Probabilistic Programs with Interval Data Uncertainty SAS 2025
- Finding Recurrent Sets with Backward Analysis and Trace Partitioning TACAS 2016
- Program verification as probabilistic inference POPL 2007