%0 Journal Article %1 journals/pacmpl/BartheEGHS18 %A Barthe, Gilles %A Espitau, Thomas %A Grégoire, Benjamin %A Hsu, Justin %A Strub, Pierre-Yves %D 2018 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 57:1-57:29 %T Proving expected sensitivity of probabilistic programs. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl2.html#BartheEGHS18 %V 2

@article{journals/pacmpl/BartheEGHS18, added-at = {2021-02-17T00:00:00.000+0100}, author = {Barthe, Gilles and Espitau, Thomas and Grégoire, Benjamin and Hsu, Justin and Strub, Pierre-Yves}, biburl = {https://www.bibsonomy.org/bibtex/28796e166381e50f867966c7399afb65b/dblp}, ee = {https://doi.org/10.1145/3158145}, interhash = {d16b0992f9f24d21980fbb04a01beda0}, intrahash = {8796e166381e50f867966c7399afb65b}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {POPL}, pages = {57:1-57:29}, timestamp = {2024-04-08T09:54:58.000+0200}, title = {Proving expected sensitivity of probabilistic programs.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl2.html#BartheEGHS18}, volume = 2, year = 2018 }