Emmanuel Chailloux
IdRefMots clés
FR |
EN
Langages de programmation
Objective Caml (langage de programmation)
Logiciels -- Vérification
Programmation fonctionnelle (informatique)
Programmation parallèle (informatique)
Parallélisme (informatique)
Compilation (informatique)
Analyse statique
Interprétation abstraite
Parallélisme
BSP
Web
Méthodes formelles
Typage
Synchronisation
Coq
Programmation sur Internet
Méthodes formelles (informatique)
Langages de programmation -- Sémantique
Programmation de haut niveau