Le moteur de recherche
des thèses françaises
David Cachera
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Coût-efficacité
Langages de programmation -- Sémantique
Algèbre linéaire
Semi-anneaux (mathématiques)
Interprétation abstraite
Méthodes formelles
Analyse statique
Systèmes informatiques -- Mesures de sûreté
Idéaux (algèbre)
Concurrence
Coq
Glaneur de cellule
Rely-Guarantee
Algorithmes
Compilation (informatique)
Débogage
Langages de programmation
Parallélisme (informatique)
Programmation parallèle (informatique)