Checking Bounded-Memory Execution for Delayed Sampling on Probabilistic Streams - Archive ouverte HAL
Communication Dans Un Congrès Année : 2021

Checking Bounded-Memory Execution for Delayed Sampling on Probabilistic Streams

Domaines

Systèmes embarqués Langage de programmation [cs.PL] Génie logiciel [cs.SE]
Fichier principal
Vignette du fichier
probprog21-sds.pdf (315.25 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Guillaume Baudart  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03401720

Soumis le : lundi 25 octobre 2021-14:23:31

Dernière modification le : mercredi 16 octobre 2024-15:06:04

Archivage à long terme le : mercredi 26 janvier 2022-20:36:28

Télécharger pour visualiser

Dates et versions

hal-03401720 , version 1 (25-10-2021)

Identifiants

  • HAL Id : hal-03401720 , version 1

Citer

Eric Atkinson, Guillaume Baudart, Louis Mandel, Charles Yuan, Michael Carbin. Checking Bounded-Memory Execution for Delayed Sampling on Probabilistic Streams. PROBPROG 2021 - Third International Conference on Probabilistic Programming, Oct 2021, Virtual, United States. ⟨hal-03401720⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-PARIS CNRS INRIA INRIA2 PSL
33 Consultations
58 Téléchargements

Partager

More