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...
Bewaard in:
| Hoofdauteur: | |
|---|---|
| Andere auteurs: | |
| Formaat: | Thèse et Mémoire papier |
| Taal: | Français |
| Gepubliceerd in: |
[Lieu de publication inconnu] :
[Éditeur inconnu]
1996.
|
| Onderwerpen: | |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Modularity, validation and data parallelism in logic programming |