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