Le moteur de recherche
des thèses françaises
Delphine Demange
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Compilation
Compilation (informatique)
Compilateurs (logiciels)
Exécution symbolique
Compilation certifiée
Sémantique formelle
Représentations intermédiaires
Langages formels
Langages de programmation -- Sémantique
Vérification
Embarqué
Vliw
Certification
Optimisation
Duplication du code
Vérification formelle
Validation de traduction
Optimisations de compilateur
Risc-V