Academic Journal
Static Factorisation of Probabilistic Programs with User-Labelled Sample Statements and While Loops
| Title: | Static Factorisation of Probabilistic Programs with User-Labelled Sample Statements and While Loops |
|---|---|
| Authors: | Böck, Markus, Cito, Jürgen |
| Source: | Proceedings of the ACM on Programming Languages. 10(OOPSLA1):653-680 |
| Availability: | http://dl.acm.org/doi/10.1145/3798223 |
| Database: | ACM Full-Text Collection |
| ISSN: | 24751421 |
|---|---|
| DOI: | 10.1145/3798223 |