Preuves constructives de programmes probabilistes

Translated title of the contribution: Constructive proofs of probabilistic programs

Florian Faissole, Bas Spitters

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

Translated title of the contribution	Constructive proofs of probabilistic programs
Original language	French
Title of host publication	Journées Francophones des Langages Applicatifs
Publication date	Jan 2018
Publication status	Published - Jan 2018
Event	Journées Francophones des Langages Applicatifs - Observatoire Océanographique, Banyuls-sur-Mer, France Duration: 24 Jan 2018 → 27 Jan 2018 Conference number: 2018 https://www.lri.fr/~sboldo/JFLA18/

Conference	Journées Francophones des Langages Applicatifs
Number	2018
Location	Observatoire Océanographique
Country/Territory	France
City	Banyuls-sur-Mer
Period	24/01/2018 → 27/01/2018
Internet address	https://www.lri.fr/~sboldo/JFLA18/

Series	Journées Francophones des Langages Applicatifs (JFLA)
Number	2018

Cite this

@inproceedings{15dbd1d861b94e98923b0b1e4fed9ad7,

title = "Preuves constructives de programmes probabilistes",

author = "Florian Faissole and Bas Spitters",

year = "2018",

month = jan,

language = "Fransk",

series = "Journ{\'e}es Francophones des Langages Applicatifs (JFLA)",

number = "2018",

booktitle = "Journ{\'e}es Francophones des Langages Applicatifs",

note = "Journ{\'e}es Francophones des Langages Applicatifs ; Conference date: 24-01-2018 Through 27-01-2018",

url = "https://www.lri.fr/~sboldo/JFLA18/",

}

TY - GEN

T1 - Preuves constructives de programmes probabilistes

AU - Faissole, Florian

AU - Spitters, Bas

N1 - Conference code: 2018

PY - 2018/1

Y1 - 2018/1

UR - https://hal.inria.fr/hal-01654459

M3 - Konferencebidrag i proceedings

T3 - Journées Francophones des Langages Applicatifs (JFLA)

BT - Journées Francophones des Langages Applicatifs

T2 - Journées Francophones des Langages Applicatifs

Y2 - 24 January 2018 through 27 January 2018

ER -