Skip to Main content Skip to Navigation
Conference papers

A Modular Cost Analysis for Probabilistic Programs

Martin Avanzini 1 Georg Moser 2 Michael Schaper 2
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Document type :
Conference papers
Complete list of metadatas

Cited literature [71 references]  Display  Hide  Download

https://hal.inria.fr/hal-03013544
Contributor : Martin Avanzini <>
Submitted on : Thursday, November 19, 2020 - 8:19:53 AM
Last modification on : Friday, November 20, 2020 - 3:31:57 AM

File

paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03013544, version 1

Collections

Citation

Martin Avanzini, Georg Moser, Michael Schaper. A Modular Cost Analysis for Probabilistic Programs. Proceedings of OOPSLA 2020, Nov 2020, Chicago, United States. ⟨hal-03013544⟩

Share

Metrics

Record views

20

Files downloads

17