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

Checking Bounded-Memory Execution for Delayed Sampling on Probabilistic Streams

Fichier principal
Vignette du fichier
probprog21-sds.pdf (315.25 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

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⟩
12 Consultations
28 Téléchargements

Partager

Gmail Facebook X LinkedIn More