Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

145

PADL
2016
Springer

68views Programming Languages» more PADL 2016»

Simplifying Probabilistic Programs Using Computer Algebra

10 years 10 days ago

Simplifying Probabilistic Programs Using Computer Algebra

Download homes.soic.indiana.edu

We transform probabilistic programs to run more eﬃciently 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 diﬀerential operators.

Jacques Carette, Chung-chieh Shan

Real-time Traffic

PADL 2016 | Programming Languages |

claim paper

Related Content

» Integrating Probability with Time and SharedVariable Concurrency

» Probabilistic Analysis of Large Finite State Machines

» Simplifying Grid Application Programming Using WebEnabled Code Transfer Tools

» Operator Algebras and the Operational Semantics of Probabilistic Languages

» Algebraic Theory of DNA Recombination

» A Generic Operational Metatheory for Algebraic Effects

» Combinatory Models and Symbolic Computation

» Simplifying reductions

» Dynamic optimization for functional reactive programming using generalized algebraic data ...

» Using threadlevel speculation to simplify manual parallelization

Post Info
More Details (n/a)

Added	08 Apr 2016
Updated	08 Apr 2016
Type	Journal
Year	2016
Where	PADL
Authors	Jacques Carette, Chung-chieh Shan

Comments (0)