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
Contributor : Frédéric Loulergue <>
Submitted on : Tuesday, January 20, 2015 - 2:48:25 PM
Last modification on : Thursday, January 17, 2019 - 3:06:06 PM

Identifiers

  • HAL Id : hal-01107296, version 1

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⟩

Share

Metrics

Record views

357