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
Type de document :
Communication dans un congrès
14èmes journées Approches Formelles dans l'Assistance au Développement Logiciel (AFADL), 2015, Bordeaux, France. 〈http://events.femto-st.fr/afadl-2015〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01158137
Contributeur : Frédéric Loulergue <>
Soumis le : vendredi 29 mai 2015 - 16:21:27
Dernière modification le : jeudi 11 janvier 2018 - 01:51:55

Identifiants

  • HAL Id : hal-01158137, version 1

Collections

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. 〈http://events.femto-st.fr/afadl-2015〉. 〈hal-01158137〉

Partager

Métriques

Consultations de la notice

137