APPROCHE UNIFORME DE LA SEMANTIQUE DE FITTING ET DE LA SEMANTIQUE BIEN FONDEE : APPLICATION A LA VALIDATION DE PROGRAMMES LOGIQUES
LES METHODES DE VALIDATION ONT POUR BUT DE COMPARER DES PROPRIETES DE FAIT DU PROGRAMME AVEC DES PROPRIETES ATTENDUES QUI REFLETENT LES INTENTIONS DU PROGRAMMEUR. CES PROPRIETES ETANT EXPRIMEES SOUS FORME D'ENSEMBLES DE LITTERAUX CLOS, NOUS CONSIDERONS DEUX IMPORTANTES SEMANTIQUES DECLARATIVES:...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Thèse et Mémoire papier |
| Lenguaje: | Français |
| Publicado: |
[S.l.] :
[s.n.]
1995.
|
| Materias: | |
| Nota: |
1995ORLE2020 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | UNIFORM APPROACH TO FITTING AND WELL-FOUNDED SEMANTICS. APPLICATION TO LOGIC PROGRAM VALIDATION |