CONSTRUCTION DE GRAMMAIRES ATTRIBUEES ASSOCIEES A UN PROGRAMME LOGIQUE ET APPLICATION AU PROBLEME DU TEST D'OCCURRENCE
DANS LA PLUPART DES INTERPRETES PROLOG EXISTANTS, L'UNIFICATION EST IMPLANTEE, POUR DES RAISONS D'EFFICACITE, SANS TEST D'OCCURRENCE. MAIS CECI PEUT AVOIR DE GRAVES CONSEQUENCES: CREATIONS DE TERMES INFINIS NON VOULUS, INCORRECTION DE LA SLD-RESOLUTION, BOUCLAGE DANS L'ALGORITHME...
Kaydedildi:
| Yazar: | |
|---|---|
| Diğer Yazarlar: | |
| Materyal Türü: | Thèse et Mémoire papier |
| Dil: | Français |
| Baskı/Yayın Bilgisi: |
[S.l.] :
[s.n.]
1990.
|
| Konular: | |
| Not: |
1990ORLE2020 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | CONSTRUCTION OF ATTRIBUTE GRAMMARS ASSOCIATED TO A LOGIC PROGRAM AND APPLICATION TO OCCUR CHECK PROBLEM |
| Özet: | DANS LA PLUPART DES INTERPRETES PROLOG EXISTANTS, L'UNIFICATION EST IMPLANTEE, POUR DES RAISONS D'EFFICACITE, SANS TEST D'OCCURRENCE. MAIS CECI PEUT AVOIR DE GRAVES CONSEQUENCES: CREATIONS DE TERMES INFINIS NON VOULUS, INCORRECTION DE LA SLD-RESOLUTION, BOUCLAGE DANS L'ALGORITHME D'UNIFICATION, INCORRECTION DE CERTAINES TRANSFORMATIONS,... NOTRE TRAVAIL A POUR OBJECTIF DE DEFINIR DES CONDITIONS SUFFISANTES (LE PROBLEME DU TEST D'OCCURRENCE ETANT INDECIDABLE EN GENERAL) ASSURANT QU'UN PROGRAMME LOGIQUE (CLAUSES DE HORN) PEUT S'EXECUTER SANS TEST D'OCCURRENCE ET SANS POUR AUTANT MODIFIER LES PROPRIETES DECLARATIVES ET OPERATIONNELLES DU PROGRAMME (AUCUN TERME INFINI N'EST CREE ET AUCUN ECHEC NE PEUT ETRE DU A UN TEST D'OCCURRENCE POSITIF). POUR CELA, NOUS GENERALISONS UNE METHODE INTRODUITE PAR P. DERANSART ET J. MALUZYNSKI (1985) QUI RELIE LE PROBLEME DU TEST D'OCCURRENCE EN PROGRAMMATION LOGIQUE AU PROBLEME DE CIRCULARITE DANS LES GRAMMAIRES ATTRIBUEES: 1) EN DONNANT UNE CONDITION PLUS GENERALE DE NON-NECESSITE DU TEST D'OCCURRENCE, INDEPENDANTE DE LA STRATEGIE QUI PEUT S'APPLIQUER A DE LARGES CLASSES D'INTERPRETES (SEQUENTIELS, AVEC APPELS RETARDES, PARALLELES...); 2) EN DONNANT UN CADRE THEORIQUE DANS LEQUEL ON PEUT ETUDIER CLAIREMENT LA RELATION ENTRE LE PROBLEME DU TEST D'OCCURRENCE ET LA CIRCULARITE DANS UN SYSTEME D'EQUATIONS. CE CADRE PERMET DE METTRE EN EVIDENCE LA RAISON DU LIEN ENTRE LA PROGRAMMATION LOGIQUE ET LES GRAMMAIRES ATTRIBUEES ET PEUT ETRE UTILISE POUR D'AUTRES PROBLEMES COMME LA VERIFICATION DE TYPES ET DE MODES |
|---|---|
| Diğer Bilgileri: | 1990ORLE2020 |
| Bibliyografya: | 30 REF |