Calcul de programmes parallèles avec Coq

Frédéric Loulergue 1, 2, 3 Wadoud Bousdira 3 Julien Tesson 4
1 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
2 PPS - Preuves, Programmes et Systèmes
3 LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
4 LACL - Laboratoire d'Algorithmique Complexité et Logique
Type de document :
Chapitre d'ouvrage
Informatique Mathématique, CNRS Éditions, 2015, collection Alpha, 〈http://www.univ-orleans.fr/lifo/evenements/EJCIM2015/〉
Liste complète des métadonnées
https://hal.inria.fr/hal-01107296
Contributeur : Frédéric Loulergue <>
Soumis le : mardi 20 janvier 2015 - 14:48:25
Dernière modification le : jeudi 17 janvier 2019 - 15:06:06

Identifiants

  • HAL Id : hal-01107296, version 1

Collections

INRIA | UNIV-ORLEANS | LACL | MSL | MSL-THESE | PPS | UPEC-UPEM | USPC | INRIA-ROCQ

Citation

Frédéric Loulergue, Wadoud Bousdira, Julien Tesson. Calcul de programmes parallèles avec Coq. Informatique Mathématique, CNRS Éditions, 2015, collection Alpha, 〈http://www.univ-orleans.fr/lifo/evenements/EJCIM2015/〉. 〈hal-01107296〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

345

Contact


archive-ouverte@inria.fr