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]
2 University of Innsbruck
Document type :
Conference papers
Complete list of metadata

Cited literature [71 references]  Display  Hide  Download
https://hal.inria.fr/hal-03013544
Contributor : Martin Avanzini Connect in order to contact the contributor
Submitted on : Thursday, November 19, 2020 - 8:19:53 AM
Last modification on : Monday, December 14, 2020 - 6:11:06 PM
Long-term archiving on: : Saturday, February 20, 2021 - 6:23:50 PM

File

Vignette du document
paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03013544, version 1

Collections

UNIV-COTEDAZUR | INRIA | ANR

Citation

Martin Avanzini, Georg Moser, Michael Schaper. A Modular Cost Analysis for Probabilistic Programs. OOPSLA 2020 - Conference on Object-oriented Programming, Systems, Languages, and Applications part of SPLASH 2020, Nov 2020, Chicago / Online, United States. ⟨hal-03013544⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

56

Files downloads

87

 

Contact                    Legal Notice                    Personal Data