Certified Parallel Program Calculation in Coq: A Tutorial - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Certified Parallel Program Calculation in Coq: A Tutorial

Frédéric Loulergue
Connectez-vous pour contacter l'auteur
PaMDA
CV
Julien Tesson
Laboratoire d'Algorithmique Complexité et Logique
CV

Domaines

Calcul parallèle, distribué et partagé [cs.DC]

Frédéric Loulergue  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00966632

Soumis le : jeudi 27 mars 2014-02:18:38

Dernière modification le : vendredi 24 mars 2023-14:52:58

Fichier non déposé

Dates et versions

hal-00966632 , version 1 (27-03-2014)

Identifiants

  • HAL Id : hal-00966632 , version 1

Citer

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. ⟨hal-00966632⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UNIV-ORLEANS LACL MSL UPEC MSL-THESE ANR
135 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More