APPROCHE, EN TERMES DE SQUELETTES DE PREUVE, DE LA SEMANTIQUE ET DU DIAGNOSTIC DECLARATIF D'ERREUR DES PROGRAMMES LOGIQUES AVEC CONTRAINTES
CETTE THESE PROPOSE UNE REFORMULATION COMPLETE DE LA SEMANTIQUE DES PROGRAMMES LOGIQUES AVEC CONTRAINTES DANS LA LIGNEE DE LA VISION GRAMMATICALE DE LA PROGRAMMATION LOGIQUE P. DERANSART ET J. MALUSZYNSKI 1993. LA SEMANTIQUE GENERALISE LES SEMANTIQUES CLASSIQUES J. JAFFAR ET J-L. LASSEZ 1987 BASEES...
Guardat en:
| Autor principal: | |
|---|---|
| Altres autors: | |
| Format: | Thèse et Mémoire papier |
| Idioma: | Français |
| Publicat: |
[S.l.] :
[s.n.]
1997.
|
| Matèries: | |
| Nota: |
1997ORLE2065 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | THE PROOF SKELETONS APPROACH OF SEMANTICS AND DECLARATIVE ERROR DIAGNOSIS OF CONSTRAINT LOGIC PROGRAMS |
| Sumari: | CETTE THESE PROPOSE UNE REFORMULATION COMPLETE DE LA SEMANTIQUE DES PROGRAMMES LOGIQUES AVEC CONTRAINTES DANS LA LIGNEE DE LA VISION GRAMMATICALE DE LA PROGRAMMATION LOGIQUE P. DERANSART ET J. MALUSZYNSKI 1993. LA SEMANTIQUE GENERALISE LES SEMANTIQUES CLASSIQUES J. JAFFAR ET J-L. LASSEZ 1987 BASEES SUR UN DOMAINE OU UNE THEORIE POUR LA SEMANTIQUE DU LANGAGE DES CONTRAINTES. DE PLUS, ELLE TIENT COMPTE DE L'INCOMPLETUDE DES SOLVEURS DE CONTRAINTES. LES RESULTATS CONNUS SONT RETROUVES. CETTE REFORMULATION EST PARTICULIEREMENT BIEN ADAPTEE POUR ETUDIER LE DIAGNOSTIC DECLARATIF D'ERREUR E. Y. SHAPIRO 1982 DES PROGRAMMES LOGIQUES AVEC CONTRAINTES. DIVERSES NOTIONS D'ERREURS SONT DEFINIES ET DES ALGORITHMES DE DIAGNOSTICS SONT PROPOSES. ILS SONT COMPARES AVEC CERTAINES TECHNIQUES ELABOREES POUR LA PROGRAMMATION LOGIQUE PURE. |
|---|---|
| Descripció de l’ítem: | 1997ORLE2065 |
| Descripció física: | 138 P. |
| Bibliografia: | 99 REF. |