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...
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Thèse numérique |
| Idioma: | Français |
| Publicat: |
Villeurbanne :
[CCSD]
2014.
|
| Matèries: | |
| Accés en línia: | Accès au texte intégral Accès Université d'Orléans |
| Nota: |
Description d'après la consultation, 2018-04-26 Titre provenant de l'écran titre Cette édition peut différer de la version de soutenance enregistrée sous le Numéro National de Thèse : 1995ORLE2076 Thèses CCSD |
| 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, 1995, 1 vol. (270 p.) |