Sciweavers

Share
PADL
2016
Springer

Simplifying Probabilistic Programs Using Computer Algebra

3 years 10 months ago
Simplifying Probabilistic Programs Using Computer Algebra
We transform probabilistic programs to run more efficiently and read more easily, by composing three semantics-preserving transformations: (1) apply the denotational semantics; (2) improve the resulting integral; then (3) invert the denotational semantics. Whereas step 1 is a straightforward transformation from monadic to continuation-passing style, the rest builds on computer algebra: step 2 reorders and performs integrals, and step 3 represents density functions as differential operators.
Jacques Carette, Chung-chieh Shan
Added 08 Apr 2016
Updated 08 Apr 2016
Type Journal
Year 2016
Where PADL
Authors Jacques Carette, Chung-chieh Shan
Comments (0)
books