Preuves constructives de programmes probabilistes

Florian Faissole 1 Bas Spitters 2
1 TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Type de document :
Communication dans un congrès
JFLA 2018 - Journées Francophones des Langages Applicatifs, Jan 2018, Banyuls-sur-Mer, France. 2018, 29èmes Journées Francophones des Langages Applicatifs. 〈https://www.lri.fr/~sboldo/JFLA18/〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01654459
Contributeur : Florian Faissole <>
Soumis le : lundi 4 décembre 2017 - 08:55:42
Dernière modification le : jeudi 11 janvier 2018 - 06:25:27

Identifiants

  • HAL Id : hal-01654459, version 1

Citation

Florian Faissole, Bas Spitters. Preuves constructives de programmes probabilistes. JFLA 2018 - Journées Francophones des Langages Applicatifs, Jan 2018, Banyuls-sur-Mer, France. 2018, 29èmes Journées Francophones des Langages Applicatifs. 〈https://www.lri.fr/~sboldo/JFLA18/〉. 〈hal-01654459〉

Partager

Métriques

Consultations de la notice

80