Skip to Main content Skip to Navigation
Conference papers

Construction de programmes parallèles en Coq avec des homomorphismes de listes

Frédéric Loulergue 1, 2, 3 
2 PI.R2 - Design, study and implementation of languages for proofs and programs
PPS - Preuves, Programmes et Systèmes, Inria Paris-Rocquencourt, UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique : UMR7126
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-01158137
Contributor : Frédéric Loulergue Connect in order to contact the contributor
Submitted on : Friday, May 29, 2015 - 4:21:27 PM
Last modification on : Friday, January 21, 2022 - 3:09:50 AM

Identifiers

  • HAL Id : hal-01158137, version 1

Citation

Frédéric Loulergue. Construction de programmes parallèles en Coq avec des homomorphismes de listes. 14èmes journées Approches Formelles dans l'Assistance au Développement Logiciel (AFADL), 2015, Bordeaux, France. ⟨hal-01158137⟩

Share

Metrics

Record views

83