Patrick Cousot
IdRefMots clés
FR |
EN
Interprétation abstraite
Langages de programmation
Ordinateurs
Sémantique
Logiciels -- Vérification
Langages de programmation fonctionnelle
Parallélisme (informatique)
Logiciels
Analyse statique
Analyse de programmes
Systèmes embarqués critiques
Code C
Assembleur
X86
Assembleur inline
Domaine abstrait
Produit réduit
Variables fantômes
Informatique
Domaines numériques abstraits