Le moteur de recherche
des thèses françaises
Laure Gonnord
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Analyse statique
Compilation (informatique)
Compilation
Interprétation abstraite
Arithmétique en virgule flottante
Optimisation
Compilateurs (logiciels)
Langage dédié
Langages de programmation
Systèmes informatiques -- Mesures de sûreté
Vérification de modèles (informatique)
Méthodes formelles (informatique)
Informatique
Langages de programmation fonctionnelle
Vérification
IEEE 802.11 (norme)
Clauses de Horn
Abstraction
Gestion pilotée par les données