Pierre-Etienne Moreau
IdRefMots clés
FR |
EN
Langages de programmation
Réécriture, Systèmes de (informatique)
Réécriture
Compilation (informatique)
Compilation
Systèmes informatiques -- Mesures de sûreté
Filtres (informatique)
Termes
Méthodes formelles (informatique)
Logiciels -- Vérification
Negation
Anti-filtrage
Complement
Filtrage modulo
Théorie équationnelle
Contraintes
Anti-pattern
Logiciels -- Développement
Obfuscation
Chaînes de compilation