| https://dblp.org/rdf/schema#authoredBy
|
https://dblp.org/pid/66/2479 +
, https://dblp.org/pid/254/1865 +
, https://dblp.org/pid/19/7123 +
, https://dblp.org/pid/92/5602 +
, https://dblp.org/pid/169/9728 +
|
| https://dblp.org/rdf/schema#bibtexType
|
http://purl.org/net/nknouf/ns/bibtex#Inproceedings +
|
| https://dblp.org/rdf/schema#createdBy
|
https://dblp.org/pid/66/2479 +
, https://dblp.org/pid/254/1865 +
, https://dblp.org/pid/19/7123 +
, https://dblp.org/pid/92/5602 +
, https://dblp.org/pid/169/9728 +
|
| https://dblp.org/rdf/schema#documentPage
|
https://doi.org/10.1145/3453483.3454102 +
|
| https://dblp.org/rdf/schema#doi
|
https://doi.org/10.1145/3453483.3454102 +
|
| https://dblp.org/rdf/schema#listedOnTocPage
|
https://dblp.org/db/conf/pldi/pldi2021 +
|
| https://dblp.org/rdf/schema#numberOfCreators
|
5
|
| https://dblp.org/rdf/schema#pagination
|
1171-1186
|
| https://dblp.org/rdf/schema#primaryDocumentPage
|
https://doi.org/10.1145/3453483.3454102 +
|
| https://dblp.org/rdf/schema#publishedAsPartOf
|
https://dblp.org/rec/conf/pldi/2021 +
|
| https://dblp.org/rdf/schema#publishedIn
|
PLDI
|
| https://dblp.org/rdf/schema#publishedInBook
|
PLDI
|
| https://dblp.org/rdf/schema#publishedInStream
|
https://dblp.org/streams/conf/pldi +
|
| https://dblp.org/rdf/schema#title
|
Quantitative analysis of assertion violations in probabilistic programs.
|
| https://dblp.org/rdf/schema#yearOfEvent
|
2021
|
| https://dblp.org/rdf/schema#yearOfPublication
|
2021
|
| owl:sameAs |
https://doi.org/10.1145/3453483.3454102 +
, http://dx.doi.org/10.1145/3453483.3454102 +
|
| rdf:type |
https://dblp.org/rdf/schema#Publication +
, https://dblp.org/rdf/schema#Inproceedings +
|
| rdfs:label |
Jinyi Wang et al.: Quantitative analysis of assertion violations in probabilistic programs. (2021)
|
