Artefact for: Quantitative Bounds on Resource Usage of Probabilistic Programs - Research Portal | Lancaster University

Home > Research > Datasets > Artefact for: Quantitative Bounds on Resource U...

DOI

https://doi.org/10.5281/zenodo.10457566

View graph of relations

Artefact for: Quantitative Bounds on Resource Usage of Probabilistic Programs

Dataset

Tobias Meggendorfer (Creator)
Đorđe Žikelić (Creator)

Description

The artefact for the OOPSLA 2024 paper "Quantitative Bounds on Resource Usage of Probabilistic Programs".

Date made available	5/03/2024
Publisher	Zenodo

Contact person

rdm@lancaster.ac.uk

Links

open