Skip to Main content Skip to Navigation
Conference papers

Preuves constructives de programmes probabilistes

Florian Faissole 1 Bas Spitters 2 
1 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
LRI - Laboratoire de Recherche en Informatique, Inria Saclay - Ile de France
2 CS - Department of Computer Science [Aarhus]
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-01654459
Contributor : Florian Faissole Connect in order to contact the contributor
Submitted on : Monday, December 4, 2017 - 8:55:42 AM
Last modification on : Saturday, June 25, 2022 - 10:27:47 PM

Identifiers

  • HAL Id : hal-01654459, version 1

Collections

CNRS | INRIA | UMR8623 | CENTRALESUPELEC | INRIA2 | LRI-VALS | UNIV-PARIS-SACLAY | JFLA2018 | GS-COMPUTER-SCIENCE

Citation

Florian Faissole, Bas Spitters. Preuves constructives de programmes probabilistes. JFLA 2018 - Journées Francophones des Langages Applicatifs, Jan 2018, Banyuls-sur-Mer, France. ⟨hal-01654459⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

350

 

Contact                    Legal Notice                    Personal Data