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...
Сохранить в:
| Главный автор: | |
|---|---|
| Другие авторы: | |
| Формат: | Thèse et Mémoire papier |
| Язык: | Français |
| Опубликовано: |
[S.l.] :
[s.n.]
1990.
|
| Предметы: | |
| Примечание: |
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 |
| LEADER | 02999nam a22002777a 4500 | ||
|---|---|---|---|
| 001 | 196801 | ||
| 008 | 990313s1990 xx|||||| |||| 00| 0 fre d | ||
| 009 | PPN044008724 | ||
| 041 | 0 | |a fre |b fre | |
| 084 | |a 001.A.02.B | ||
| 084 | |a 500 | ||
| 084 | |a 600 | ||
| 100 | 1 | |a Teguia, Michel. | |
| 240 | 1 | 0 | |a CONSTRUCTION OF ATTRIBUTE GRAMMARS ASSOCIATED TO A LOGIC PROGRAM AND APPLICATION TO OCCUR CHECK PROBLEM |
| 245 | 1 | 0 | |a CONSTRUCTION DE GRAMMAIRES ATTRIBUEES ASSOCIEES A UN PROGRAMME LOGIQUE ET APPLICATION AU PROBLEME DU TEST D'OCCURRENCE |c MICHEL TEGUIA ; SOUS LA DIRECTION DE BERNARD LORHO. |
| 260 | |a [S.l.] : |b [s.n.], |c 1990. | ||
| 500 | |a 1990ORLE2020 | ||
| 502 | |a Thèse Doctorat. Sciences et techniques communes. Orléans. 1990 | ||
| 504 | |a 30 REF | ||
| 520 | |a 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 | ||
| 650 | |a Thèses et écrits académiques | ||
| 700 | 1 | |a Lorho, Bernard. |4 ths | |
| 710 | 2 | |a Université d'Orléans. |4 dgg | |
| 787 | 0 | 8 | |i Reproduced as: |0 246264837 |t CONSTRUCTION DE GRAMMAIRES ATTRIBUEES ASSOCIEES A UN PROGRAMME LOGIQUE ET APPLICATION AU PROBLEME DU TEST D'OCCURRENCE |f MICHEL TEGUIA |c Grenoble |n Atelier national de reproduction des thèses |d 1990 |p Microfiches |s [Grenoble thèses] |
| 997 | |0 196801 |1 Thèse et Mémoire papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Orléans, BU Sciences, Technologies, STAPS, TS 19-1990-20 b |z Orléans, BU Sciences, Technologies, STAPS, TS 19-1990-20 | ||
| 999 | |5 452342104:052319016 |a ORLEANS | ||