Calcul de programmes parallèles avec Coq
In: hal-01107296;; (2015)
Buch
Zugriff:
National audience
Titel: |
Calcul de programmes parallèles avec Coq
|
---|---|
Autor/in / Beteiligte Person: | Loulergue, Frédéric ; Bousdira, Wadoud ; Tesson, Julien ; Design, study and implementation of languages for proofs and programs ( PI.R2 ) ; Preuves, Programmes et Systèmes (PPS) ; Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Inria Paris-Rocquencourt ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria) ; Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS) ; Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) ; Ecole Nationale Supérieure d'Ingénieurs de Bourges-Université d'Orléans (UO) ; Laboratoire d'Algorithmique Complexité et Logique (LACL) ; Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)-Centre National de la Recherche Scientifique (CNRS) ; ANR-10-INTB-0205,PAPDAS,Developpement de programmes parallèles avec des squelettes algorithmiques(2010) |
Link: | |
Quelle: | hal-01107296;; (2015) |
Veröffentlichung: | HAL CCSD ; CNRS Éditions, 2015 |
Medientyp: | Buch |
Schlagwort: |
|
Sonstiges: |
|