A Modular Cost Analysis for Probabilistic Programs - Archive ouverte HAL Access content directly
Conference Papers Year :

A Modular Cost Analysis for Probabilistic Programs

(1) , (2) , (2)
1
2

Domains

Computer Science [cs] Computational Complexity [cs.CC]
Fichier principal
Vignette du fichier
paper.pdf (887.52 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Martin Avanzini  : Connect in order to contact the contributor

https://hal.inria.fr/hal-03013544

Submitted on : Thursday, November 19, 2020-8:19:53 AM

Last modification on : Wednesday, January 4, 2023-10:30:06 AM

Long-term archiving on: Saturday, February 20, 2021-6:23:50 PM

Download

Dates and versions

hal-03013544 , version 1 (19-11-2020)

Identifiers

  • HAL Id : hal-03013544 , version 1

Cite

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 Dublin Core DC Terms EndNote Datacite

Collections

INRIA INRIA2 UNIV-COTEDAZUR ANR
36 View
37 Download

Share

Gmail Facebook Twitter LinkedIn More