Slicing of Probabilistic Programs Based on Specifications (Extended Abstract)
No abstract available.
DOI 10.4230/lipics.ecoop.2022.34
Related papers
- A Theory of Slicing for Imperative Probabilistic Programs TOPLAS 2020
- Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing ESOP 2026
- Slicing probabilistic programs PLDI 2014
- Static Factorisation of Probabilistic Programs with User-Labelled Sample Statements and While Loops OOPSLA 2026
- Latticed k-Induction with an Application to Probabilistic Programs CAV 2021
- Verifying Fortran Programs with CIVL TACAS 2022
- Environmental bisimulations for probabilistic higher-order languages POPL 2016
- Environmental Bisimulations for Probabilistic Higher-order Languages TOPLAS 2019