APPROCHE DECLARATIVE DU DIAGNOSTIC D'ERREUR POUR LA PROGRAMMATION LOGIQUE AVEC NEGATION
MOTIVES PAR LES PROBLEMES DE MISE AU POINT DES PROGRAMMES LOGIQUES AVEC NEGATION, NOUS DEFINISSONS UN CADRE FORMEL POUR COMPARER DES PROPRIETES DECLARATIVES D'UN PROGRAMME AVEC DES PROPRIETES ATTENDUES QUI REFLETENT L'INTENTION DU PROGRAMMEUR. NOTRE BUT EST DE RETROUVER, AVEC NEGATION, LE...
Enregistré dans:
| Hovedforfatter: | |
|---|---|
| Andre forfattere: | |
| Format: | Thèse et Mémoire papier |
| Sprog: | Français |
| Udgivet: |
[S.l.] :
[s.n.]
1991.
|
| Fag: | |
| Kommentar: |
1991ORLE2012 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | DECLARATIVE APPROACH OF ERROR DIAGNOSIS FOR LOGIC PROGRAMMING WITH NEGATION |