Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis : le système clp (FD)
Ce travail porte sur la compilation des langages de programmation logique par contraintes sur les domaines finis (DF). Plutôt que d'adopter l'approche usuelle considérant le résolveur comme une boîte noire nous avons choisi l'approche boîte de verre de P. Van Hentenryck. Dans celle-ci...
Enregistré dans:
| Hovedforfatter: | |
|---|---|
| Andre forfattere: | |
| Format: | Thèse et Mémoire papier |
| Sprog: | Français |
| Udgivet: |
1995.
|
| Fag: | |
| Kommentar: |
Publication autorisée par le jury |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Study of the compilation of constraint logic programming languages over finite domains :, the system clp (FD) |
| Edition sous un autre format: | • Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis, le système clp (FD), par Daniel Diaz, Villeurbanne, [CCSD], 2014 |