Le moteur de recherche
des thèses françaises
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)
Logiciels -- Vérification
Termes
Méthodes formelles (informatique)
Negation
Anti-filtrage
Complement
Filtrage modulo
Théorie équationnelle
Contraintes
Anti-pattern
Théorie des types
Descripteur de Radon
Programmation dynamique