Commutative Semantics for Probabilistic Programming
No abstract available.
Related papers
- A domain theory for statistical probabilistic programming POPL 2019
- Semantics for variational Quantum programming POPL 2022
- Verification of semantic commutativity conditions and inverse operations on linked data structures PLDI 2011
- The geometry of parallelism: classical, probabilistic, and quantum effects POPL 2017
- Imprecise Probabilistic Programming, Precisely: Credal Sets via Graded Monads, BDDs, and Semiring-Parametric Inference (Functional Pearl) ICFP 2026
- Commutative set: a language extension for implicit parallel programming PLDI 2011
- Veracity: declarative multicore programming with commutativity OOPSLA 2022
- Automatic scalable atomicity via semantic locking PPoPP 2015