Le but de ce mémoire est d'appliquer et d'évaluer une méthodologie de programmation logique [Deville 87]. La méthodologie est d'abord présentée. Ensuite une application est réalisée à l'aide de celle-ci. L'application sert à transformer des programmes prolog pour les rendre plus performants (déclaration de mode). La méthodologie est finalement évaluée et des extensions et modifications sont proposées.
la date de réponse | 1988 |
---|
langue originale | Français |
---|
L'institution diplômante | |
---|
Superviseur | Baudouin LE CHARLIER (Promoteur) |
---|
Application et évaluation d'une méthodologie de programmation logique
Mignon, B. (Auteur). 1988
Student thesis: Master types › Master en sciences informatiques