Semantics of Probabilistic Programs: A Weak Limit Approach
No abstract available.
Related papers
- Weak Bisimulation for Fully Probabilistic Processes CAV 1997
- Multi-Language Probabilistic Programming OOPSLA 2025
- Probabilistic Total Store Ordering ESOP 2022
- Verifying C11-style weak memory libraries PPoPP 2021
- Aiming low is harder: induction for lower bounds in probabilistic program verification POPL 2020
- Reasoning about "reasoning about reasoning": semantics and contextual equivalence for probabilistic programs with nested queries and recursion POPL 2022
- The virtues of conflict: analysing modern concurrency PPoPP 2016
- Paradoxes of probabilistic programming: and how to condition on events of measure zero with infinitesimal probabilities POPL 2021