Certified Parallel Program Calculation in Coq: A Tutorial

Frédéric Loulergue 1, * Julien Tesson 2
* Auteur correspondant
1 PaMDA
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
Type de document :
Communication dans un congrès
International Conference on High Performance Computing and Simulation (HPCS), 2014, Bologna, Italy. IEEE, 2014, HPCS
Liste complète des métadonnées

https://hal.inria.fr/hal-00966632
Contributeur : Frédéric Loulergue <>
Soumis le : jeudi 27 mars 2014 - 02:18:38
Dernière modification le : jeudi 11 janvier 2018 - 06:19:28

Identifiants

  • HAL Id : hal-00966632, version 1

Collections

Citation

Frédéric Loulergue, Julien Tesson. Certified Parallel Program Calculation in Coq: A Tutorial. International Conference on High Performance Computing and Simulation (HPCS), 2014, Bologna, Italy. IEEE, 2014, HPCS. 〈hal-00966632〉

Partager

Métriques

Consultations de la notice

182