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
2 CS - Department of Computer Science [Aarhus]
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 5 avril 2018 - 12:30:22

Identifiants

  • HAL Id : hal-01654459, version 1

Collections

INRIA | CENTRALESUPELEC | UMR8623 | LRI-VALS | UNIV-PARIS-SACLAY

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

311

Contact


archive-ouverte@inria.fr