Vers un controle global de la déduction partielle
Type doc. :
Langue :
Auteur(s) :
Année de soutenance:
Afficher le Résumé
Cette these s'intéresse au dévloppement d'un systême de dédiicti partielle pour Poptimisation de programmes logiques, en Poccurrence des programmes Prolog. Pour atteindre cet objectif, nous nous som!-nes essentiellement concentrés sur 1'etude du contr?le global du processes de déduction partielle, à savoir le contr?le du dépliage des prédicats programme or?ginel et la taille du programme résiduel. Aprês une introduction à la logique du premier ordre, aux fondemerm; théoriques de la déduction partielle, des conditions d'équivalence ks programmes originel et résiduel, et son utilisation comme outil d'optimisat , les principaux problêmes d'implémentation liés aux caractéristiques particulieres du langage Prolog sont discutés pour aboutir finalement Ia description d'un noyau de systàme de déduction partielle par des lgorithmu complexité croissante dont une preuve de leur correction est faite.
| N° Bulletin | Date / Année de parution | Titre N° Spécial | Sommaire |
|---|
| Cote | Localisation | Type de Support | Type de Prêt | Statut | Date de Restitution Prévue | Réservation |
|---|---|---|---|---|---|---|
| 004 MEN TH C 1 | BIB-Centrale / Thèses | interne | disponible |