Cost Analysis of Nondeterministic Probabilistic Programs - Artifact

Wang, Peixin; Fu, Hongfei; Goharshady, Amir Kafshdar; Chatterjee, Krishnendu; Qin, Xudong; Shi, Wenjun

doi:10.5281/zenodo.2640455

Published April 15, 2019 | Version 1

Software Open

Cost Analysis of Nondeterministic Probabilistic Programs - Artifact

1. Shanghai Jiao Tong University
2. IST Austria
3. East China Normal University

The artifact accompanying the paper title "Cost Analysis of Nondeterministic Probabilistic Programs", appearing at the 40th ACM Conference on Programming Language Design and Implementation (PLDI), 2019

Files

package.zip

Files (7.1 MB)

Name	Size	Download all
package.zip md5:6a37281ff0acb7149689d6829576c711	7.1 MB	Preview Download

202

Views

Downloads

Show more details

	All versions	This version
Views	202	202
Downloads	49	49
Data volume	362.2 MB	362.2 MB

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

Conference

40th ACM Conference on Programming Language Design and Implementation (PLDI) , Phoenix, AZ, US, 22-26 June 2019

License: Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Technical metadata

Created: April 15, 2019
Modified: January 25, 2020

Cost Analysis of Nondeterministic Probabilistic Programs - Artifact

Authors/Creators

Description

Files

package.zip

Files (7.1 MB)