Modularité, validation et parallélisme de données en programmation logique
La contribution de cette thèse est double: d'une part, il s'agit d'étudier le problème de la validation de propriétés déclaratives de programmes logiques dans un contexte compositionnel, d'autre part de proposer une extension de la programmation logique au parallélisme de données...
Salvato in:
| Autore principale: | |
|---|---|
| Altri autori: | |
| Natura: | Thèse et Mémoire papier |
| Lingua: | Français |
| Pubblicazione: |
[Lieu de publication inconnu] :
[Éditeur inconnu]
1996.
|
| Soggetti: | |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Modularity, validation and data parallelism in logic programming |
Orléans - BU Sciences Technologies STAPS
| Localizzazione | Collocazione | Type de prêt | Status | |
|---|---|---|---|---|
| Magasin | TS 19-1996-12b |
A consulter sur place
|
||
| Magasin | TS 19-1996-12 | Disponibile |