Checking Bounded-Memory Execution for Delayed Sampling on Probabilistic Streams - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 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
Origin Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-03401720 , version 1

Cite

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 View
30 Download

Share

Gmail Mastodon Facebook X LinkedIn More