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
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 11 janvier 2018 - 06:22:37

Identifiants

  • HAL Id : hal-01107296, version 1

Collections

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〉

Partager

Métriques

Consultations de la notice

269