ETUDE DES RAPPORTS ENTRE GRAMMAIRES ATTRIBUEES ET PROGRAMMATION LOGIQUE : APPLICATION AU TEST D'OCCURRENCE ET A L'ANALYSE STATIQUE
LA RELATION ENTRE PROGRAMMATION LOGIQUE ET GRAMMAIRES ATTRIBUEES EST REPRISE DE TRAVAUX PRECEDENTS ET ADAPTEE DE MANIERE A ETRE UTILISEE PAR LA SUITE. UNE PREMIERE APPLICATION CONCERNE LE TEST D'OCCURRNCE. UNE NOUVELLE PROPRIETE DES ANNOTATIONS PROPRES EST ETABLIE ET UN ALGORITHME POLYNOMIAL DE...
Sparad:
| Huvudupphovsman: | |
|---|---|
| Övriga upphovsmän: | |
| Materialtyp: | Thèse et Mémoire papier |
| Språk: | Français |
| Publicerad: |
[S.l.] :
[s.n.]
1992.
|
| Ämnen: | |
| Anmärkning: |
1992ORLE2009 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | RELATIONS BETWEEN ATTRIBUTE GRAMMARS AND LOGIC PROGRAMMING: APPLICATION TO THE OCCUR-CHECK AND THE STATIC ANALYSIS |
| LEADER | 02501nam a22002897a 4500 | ||
|---|---|---|---|
| 001 | 196994 | ||
| 008 | 990313s1992 xx|||||| |||| 00| 0 fre d | ||
| 009 | PPN044071841 | ||
| 041 | 0 | |a fre |b fre | |
| 084 | |a 001.D.02.A.07 | ||
| 084 | |a 620 | ||
| 100 | 1 | |a Bouquard, Jean-Louis, |d 19..- | |
| 240 | 1 | 0 | |a RELATIONS BETWEEN ATTRIBUTE GRAMMARS AND LOGIC PROGRAMMING: APPLICATION TO THE OCCUR-CHECK AND THE STATIC ANALYSIS |
| 245 | 1 | 0 | |a ETUDE DES RAPPORTS ENTRE GRAMMAIRES ATTRIBUEES ET PROGRAMMATION LOGIQUE : |b APPLICATION AU TEST D'OCCURRENCE ET A L'ANALYSE STATIQUE |c JEAN-LOUIS BOUQUARD ; SOUS LA DIRECTION DE GERARD FERRAND. |
| 260 | |a [S.l.] : |b [s.n.], |c 1992. | ||
| 500 | |a 1992ORLE2009 | ||
| 502 | |a Thèse Doctorat. Sciences appliquées. Orléans. 1992 | ||
| 504 | |a 58 REF | ||
| 520 | |a LA RELATION ENTRE PROGRAMMATION LOGIQUE ET GRAMMAIRES ATTRIBUEES EST REPRISE DE TRAVAUX PRECEDENTS ET ADAPTEE DE MANIERE A ETRE UTILISEE PAR LA SUITE. UNE PREMIERE APPLICATION CONCERNE LE TEST D'OCCURRNCE. UNE NOUVELLE PROPRIETE DES ANNOTATIONS PROPRES EST ETABLIE ET UN ALGORITHME POLYNOMIAL DE DETERMINATION DE CES ANNOTATIONS EST ELABORE. CECI FOURNIT UN TEST EFFICACE D'APPARTENANCE A UNE LARGE CLASSE DE PROGRAMMES NON SUJETS AU TEST D'OCCURENCE (NSTO). PUIS, UNE AMELIORATION SUPPLEMENTAIRE EST OBTENUE PAR UNE METHODE BASEE SUR UNE TRANSFORMATION DE PROGRAMME. ENSUITE, ON EFFECTUE UNE COMPARAISON ENTRE, D'UNE PART, L'EXECUTION DE PROLOG PAR L'INTERMEDIAIRE DE LA MACHINE ABSTRAITE DE WARREN ET, D'AUTRE PART, L'EVALUATION DES ATTRIBUTS PAR LE SYSTEME FNC2. IL EN RESSORT QU'UN PROGRAMME LOGIQUE PEUT BENEFICIER DES OPTIMISATIONS ELABOREES SUR LES EVALUATEURS D'ATTRIBUTS S'IL POSSEDE UNE PROPRIETE DITE DE DECORATION. CECI NOUS AMENE A INTRODUIRE LA NOTION D'ARGUMENTS DECISIFS D'UN PROGRAMME LOGIQUE. UN ALGORITHME POLYNOMIAL DE DETERMINATION DE CES ARGUMENTS EST CONSTRUIT, CE QUI APPORTE LA POSSIBILITE D'APPLICATIONS PRATIQUES | ||
| 650 | |a Logiciels |x Vérification | ||
| 650 | |a Langages de programmation orientés objet | ||
| 650 | |a Programmation logique | ||
| 650 | |a Thèses et écrits académiques | ||
| 700 | 1 | |a Ferrand, Gérard, |d 19..-...., |c professeur d'informatique. |4 ths | |
| 710 | 2 | |a Université d'Orléans. |4 dgg | |
| 997 | |0 196994 |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-1992-9 b |z Orléans, BU Sciences, Technologies, STAPS, TS 19-1992-9 | ||
| 999 | |5 452342104:053870565 |a ORLEANS | ||