%0 Journal Article %1 journals/pacmpl/WangFCDX20 %A Wang, Peixin %A Fu, Hongfei %A Chatterjee, Krishnendu %A Deng, Yuxin %A Xu, Ming %D 2020 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 25:1-25:30 %T Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#WangFCDX20 %V 4

@article{journals/pacmpl/WangFCDX20, added-at = {2022-06-23T00:00:00.000+0200}, author = {Wang, Peixin and Fu, Hongfei and Chatterjee, Krishnendu and Deng, Yuxin and Xu, Ming}, biburl = {https://www.bibsonomy.org/bibtex/23a744b76827fe936b4c163985f28bce0/dblp}, ee = {https://doi.org/10.1145/3371093}, interhash = {12d92e2896ad8c2086ec9a8baf7d0fe3}, intrahash = {3a744b76827fe936b4c163985f28bce0}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {POPL}, pages = {25:1-25:30}, timestamp = {2024-04-08T09:54:06.000+0200}, title = {Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#WangFCDX20}, volume = 4, year = 2020 }