Published March 5, 2024
| Version v1
Software
Open
Artefact for: Quantitative Bounds on Resource Usage of Probabilistic Programs
- 1. Lancaster University Leipzig
-
2.
Singapore Management University
Description
The artefact for the OOPSLA 2024 paper "Quantitative Bounds on Resource Usage of Probabilistic Programs".
Files
README.md
Files
(279.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:b7780f489de8e9351c77b3f1f201eaa8
|
279.7 MB | Download |
|
md5:955a3d0ecb5f7bbebeafa3b287b40de9
|
1.1 kB | Download |
|
md5:c337933696ad5d83cc735147eb0d36ab
|
6.7 kB | Preview Download |
|
md5:beadc61dc465a3ef74a4ebdb8c4c3e84
|
104.4 kB | Preview Download |
|
md5:5ff622138138088c2b01b110fe9c7009
|
79.4 kB | Preview Download |
Additional details
Software
- Repository URL
- https://github.com/djordjezikelic/prob-prog-quantitative-bounds
- Programming language
- Python