Radhia Cousot
IdRefMots clés
FR |
EN
Interprétation abstraite
Sémantique
Logiciels -- Vérification
Analyse statique
Langages de programmation orientés objet
Langages de programmation -- Sémantique
Vérification de logiciels
Terminaison
Fonctions de rang
Propriétés de vivacité
Informatique
Interpretation abstraite
Logiques temporelles
Analyse de pointeurs
Logique de séparation
Statistique
JavaScript (langage de programmation)
Langages de programmation
Raffinement d'analyse statique
Analyse de dépendence de données