Sur l'intégration des langages algébriques et logique
Ce mémoire présente l'étude d'une approche particulière des langages de programmation logico-fonctionnels, fondée sur la logique des clauses de Horn avec égalité. Nous définissons d'abord la syntaxe et la sémantique des programmes que nous considérons. La syntaxe est celle de la logiq...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
1990
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00338687 http://tel.archives-ouvertes.fr/docs/00/33/86/87/PDF/Echahed.Rachid_1990_these.pdf |