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