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:...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Médium: | Thèse et Mémoire papier |
| Jazyk: | Français |
| Vydáno: |
[S.l.] :
[s.n.]
1995.
|
| Témata: | |
| Poznámka: |
1995ORLE2020 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | UNIFORM APPROACH TO FITTING AND WELL-FOUNDED SEMANTICS. APPLICATION TO LOGIC PROGRAM VALIDATION |
Orléans - BU Sciences Technologies STAPS
| Umístění | Signatura | Type de prêt | Stav | |
|---|---|---|---|---|
| Magasin | TS 19-1995-20b |
A consulter sur place
|
||
| Magasin | TS 19-1995-20 | Dostupné |