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...
Wedi'i Gadw mewn:
| Prif Awdur: | |
|---|---|
| Awduron Eraill: | |
| Fformat: | Thèse et Mémoire papier |
| Iaith: | Français |
| Cyhoeddwyd: |
[S.l.] :
[s.n.]
1997.
|
| Pynciau: | |
| Nodyn: |
1997ORLE2065 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | THE PROOF SKELETONS APPROACH OF SEMANTICS AND DECLARATIVE ERROR DIAGNOSIS OF CONSTRAINT LOGIC PROGRAMS |
| LEADER | 02073nam a22002537a 4500 | ||
|---|---|---|---|
| 001 | 197329 | ||
| 008 | 990313s1997 xx|||||| |||| 00| 0 fre d | ||
| 009 | PPN04374768X | ||
| 041 | 0 | |a fre |b fre | |
| 084 | |a 001.D.02.A.07 | ||
| 084 | |a 620 | ||
| 100 | 1 | |a Tessier, Alexandre, |d 19..-...., |c enseignant-chercheur en informatique. | |
| 240 | 1 | 0 | |a THE PROOF SKELETONS APPROACH OF SEMANTICS AND DECLARATIVE ERROR DIAGNOSIS OF CONSTRAINT LOGIC PROGRAMS |
| 245 | 1 | 0 | |a APPROCHE, EN TERMES DE SQUELETTES DE PREUVE, DE LA SEMANTIQUE ET DU DIAGNOSTIC DECLARATIF D'ERREUR DES PROGRAMMES LOGIQUES AVEC CONTRAINTES |c ALEXANDRE TESSIER ; SOUS LA DIRECTION DE GERARD FERRAND. |
| 260 | |a [S.l.] : |b [s.n.], |c 1997. | ||
| 300 | |a 138 P. | ||
| 500 | |a 1997ORLE2065 | ||
| 502 | |a Thèse de doctorat. Sciences appliquées. Orléans. 1997 | ||
| 504 | |a 99 REF. | ||
| 520 | |a 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. | ||
| 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 197329 |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-1997-65 |z Orléans, BU Sciences, Technologies, STAPS, TS 19-1997-65b | ||