Le moteur de recherche
des thèses françaises
Emmanuel Chailloux
IdRefMots clés
FR |
EN
Langages de programmation
Programmation fonctionnelle (informatique)
Objective Caml (langage de programmation)
Logiciels -- Vérification
Parallélisme (informatique)
Compilation (informatique)
Programmation parallèle (informatique)
Analyse statique
Interprétation abstraite
Parallélisme
Typage
BSP
Langages de programmation fonctionnelle
Web
Méthodes formelles
Programmation fonctionnelle
Microprocesseurs multi-coeurs
Coq
Programmation
Programmation sur Internet