A Modular Cost Analysis for Probabilistic Programs - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2020

A Modular Cost Analysis for Probabilistic Programs

Domaines

Complexité [cs.CC]
Fichier principal
Vignette du fichier
paper.pdf (887.52 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Martin Avanzini  : Connectez-vous pour contacter le contributeur

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

Soumis le : jeudi 19 novembre 2020-08:19:53

Dernière modification le : lundi 4 novembre 2024-14:40:08

Archivage à long terme le : samedi 20 février 2021-18:23:50

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : hal-03013544 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2 UNIV-COTEDAZUR ANR
57 Consultations
81 Téléchargements

Partager

More