Les types en Prolog : un système d'inférence de type et ses applications
Contribution à l'approche inferentielle pour l'introduction de la notion de type en Prolog. Cette approche consiste à déduire automatiquement d'un programme les types des prédicats. Le programmeur peut ainsi s'assurer de la conformité du programme à ses intentions. Une méthode d&...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
1989
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00332314 http://tel.archives-ouvertes.fr/docs/00/33/24/26/PDF/Azzoune.Hamid_1989_these_v2.pdf |