La programmation logique repose sur l'idée de programmer en employant des formules logiques. Il s'en suit que deux types de sémantiques peuvent être assignées aux programmes logiques. L'une reflète l'exécution proprement dite; elle est appelée sémantique opérationnelle. L'autre utilise la logique; elle est appelée sémantique déclarative. Toutefois, la sémantique déclarative traditionnelle ne procure pas une pleine perception des aspects opérationnels. Ce mémoire propose deux nouvelles approches déclaratives dans ce but.
| la date de réponse | 1994 |
|---|
| langue originale | Français |
|---|
| L'institution diplômante | |
|---|
| Superviseur | Van Hien Nguyen (Promoteur) & Jean-Marie JACQUET (Copromoteur) |
|---|
Declarative modeling of the operational behavior of logic languages
Barry, V. (Auteur). 1994
Thèse de l'étudiant: Master types › Master en sciences mathématiques