Patrick Cousot
IdRefMots clés
FR |
EN
Interprétation abstraite
Langages de programmation
Sémantique
Ordinateurs
Logiciels -- Vérification
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
Parallélisme (informatique)
Logiciels
Langages de programmation fonctionnelle
Systèmes mobiles