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...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | |
| Format: | Thèse et Mémoire papier |
| Langue: | Français |
| Publié: |
[S.l.] :
[s.n.]
1997.
|
| Sujets: | |
| Note: |
1997ORLE2065 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | THE PROOF SKELETONS APPROACH OF SEMANTICS AND DECLARATIVE ERROR DIAGNOSIS OF CONSTRAINT LOGIC PROGRAMS |