A Modular Cost Analysis for Probabilistic Programs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

A Modular Cost Analysis for Probabilistic Programs

Fichier principal
Vignette du fichier
paper.pdf (887.52 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

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⟩
46 View
59 Download

Share

Gmail Facebook X LinkedIn More