Mémoires de Fin d’Etudes
Etablissement
Université de Boumerdès - M’hamed Bougara
Affiliation
Département d’Informatique
Auteur
SALMI, Cheikh
Directeur de thèse
MEZGHICHE Mohamed (Professeur)
Filière
Informatique
Diplôme
Doctorat
Titre
Etude de la décidabilité de filtrage d’ordre superieur
Mots clés
Filtrage;Type ;Decidabilité
Résumé
Il a été recement annoncé que le filtrage d’ordre superieur est decidable toutefois ,les méthodes de preure s’applique uniquement au cas dit "classiqué" lors que tous les types sont construits à partir d’un seul atome ;par conséquent le problème reste ouvert dans le cas général ,l’objectif de la thèse est l’étude du cas ou les types sont construits à partir d’un nombre arbitraire de variable de type
Statut
Vérifié