Inproceedings,
Cost analysis of nondeterministic probabilistic programs.
P. Wang, H. Fu, A. Goharshady, K. Chatterjee, X. Qin, and W. Shi.PLDI, page 204-220. ACM, (2019)
Meta data
- BibTeX key
- conf/pldi/Wang0GCQS19
- entry type
- inproceedings
- booktitle
- PLDI
- year
- 2019
- pages
- 204-220
- publisher
- ACM
- crossref
- conf/pldi/2019
- ee
- https://doi.org/10.1145/3314221.3314581
- isbn
- 978-1-4503-6712-7
- url
- http://dblp.uni-trier.de/db/conf/pldi/pldi2019.html#Wang0GCQS19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/pldi/Wang0GCQS19
%A Wang, Peixin
%A Fu, Hongfei
%A Goharshady, Amir Kafshdar
%A Chatterjee, Krishnendu
%A Qin, Xudong
%A Shi, Wenjun
%B PLDI
%D 2019
%E McKinley, Kathryn S.
%E Fisher, Kathleen
%I ACM
%K dblp
%P 204-220
%T Cost analysis of nondeterministic probabilistic programs.
%U http://dblp.uni-trier.de/db/conf/pldi/pldi2019.html#Wang0GCQS19
%@ 978-1-4503-6712-7
@inproceedings{conf/pldi/Wang0GCQS19,
added-at = {2022-06-23T00:00:00.000+0200},
author = {Wang, Peixin and Fu, Hongfei and Goharshady, Amir Kafshdar and Chatterjee, Krishnendu and Qin, Xudong and Shi, Wenjun},
biburl = {https://www.bibsonomy.org/bibtex/2da3428670daeb0c2153178d9f1d09df8/dblp},
booktitle = {PLDI},
crossref = {conf/pldi/2019},
editor = {McKinley, Kathryn S. and Fisher, Kathleen},
ee = {https://doi.org/10.1145/3314221.3314581},
interhash = {f8af42c28051d9e88b872318ddb185c5},
intrahash = {da3428670daeb0c2153178d9f1d09df8},
isbn = {978-1-4503-6712-7},
keywords = {dblp},
pages = {204-220},
publisher = {ACM},
timestamp = {2024-04-10T06:17:16.000+0200},
title = {Cost analysis of nondeterministic probabilistic programs.},
url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2019.html#Wang0GCQS19},
year = 2019
}