Certified Parallel Program Calculation in Coq: A Tutorial - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

Certified Parallel Program Calculation in Coq: A Tutorial

Frédéric Loulergue
Connectez-vous pour contacter l'auteur
No file

Dates and versions

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

Identifiers

  • HAL Id : hal-00966632 , version 1

Cite

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⟩
135 View
0 Download

Share

Gmail Facebook X LinkedIn More