Sémantique de la programmation logique et algèbre de processus

الموضوعات

علوم تطبيقية وتكنولوجية

الملخص

Le travail que nous présentons dans celle thèse se place au confluent de deux domaines: d'une part, la sémantique de la programmation logique et d'autre part, la sémantique du parallélisme. Nous avons présenté plusieurs sémantiques "logiques" dans un cadre clos et étudié les propriétés algébriques des équivalences engendrées par rapport à une algèbre de programmes logiques. Nous avons par la suite défini une nouvelle équivalence dont l'avantage est de préserver les équivalences basées sur les succès et les échecs dans les programmes logiques. L'hiérarchisation de toutes ces équivalences a été effectuée. Dans le cadre d'un modèle de graphe, nous avons défini μn système de transition modélisant un programme logique. Certaines équivalences ont été redéfinies à l'aide des équivalences issues des modèles de graphe. · · · Nous proposons ensuite une algèbre de processus HAL (Herbrand Agent Langage). Plusieurs sémantiques ont été définies pour cette algèbre. Chacune d'elle, donne une expressivité différente à HAL. Dans la première, les processus communiquent par échange de messages. Dans la deuxième les processus communiquent par échange de messages et par partage de variables. Cette algèbre a pour avantage de généraliser la notion de communication en utilisant l'unification, les termes échangés ne sont pas forcerment des termes clos. Cette généralisation permet d'utiliser HAL comme outil de spécification de machines à inférence parallèles dans plusieurs applications telles que la déduction automatique, la réécriture parallèle ... etc. Enfin nous utilisons HAL pour la spécification du parallélisme dans la programmation logique.

روابط وملفات

التعريف والنوع

رقم الوثيقة

09b40255-8a1e-45a7-b88f-ffbaad1a8b06

رقم العقد

0

نوع الوسائط

Crawler

نوع المحتوى

الرسائل العلمية

صيغة المصدر

رسائل دكتوراة

نوع الملف

word

أسماء الملفات

1374993_1.docx

بيانات النشر

ألقاب المؤلفين

[{"name_ar":" Mounira Belmesk","title_ar":"اعداد","title_en":"Preparation"}]

اللغة

French

المصدر والدورية

اسم المصدر

Sémantique de la programmation logique et algèbre de processus

المحتوى والصفحات

عدد الصفحات

0

كلمات الباحثين

Informatique, parallélisme, Programmation logique

إشراف وإعداد

الإعداد

Mounira Belmesk

الاقتباسات الببليوغرافية