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é
Vérification de modèles (informatique)
Méthodes formelles (informatique)
Langages de programmation fonctionnelle
Vérification
IEEE 802.11 (norme)
Langages de programmation
Systèmes informatiques -- Mesures de sûreté
Clauses de Horn
Abstraction
Gestion pilotée par les données
Cloud computing