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...
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.]
1992.
|
| Konular: | |
| Not: |
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 |