Recherche Avancée

Thèse soutenue

Cc(m), un noyau parallele pour l'implantation des langages de contraintes concurrents

FR  |  
EN
Auteur / Autrice : Laurent Perron
Direction : François Fages
Type : Thèse de doctorat
Discipline(s) : Sciences appliquées
Date : Soutenance en 1997
Etablissement(s) : Paris 11

Résumé

FR

Cette these consiste en la description, la definition et l'evaluation d'une implantation parallele des langages de programmation concurrente par contraintes. Cette implantation est basee sur un langage noyau cc(m) qui servira de base commune pour l'implantation de differents domaines de contraintes comme les domaines finis, les booleens, l'arithmetique reelle ou d'autres domaines encore. En particulier, il sera presente a la fin de la these une implantation parallele d'un fragment des domaines finis ainsi qu'une application usuelle de ce domaine de contraintes aux problemes d'ordonnancements disjonctifs. Le langage cc(m) est le produit de quatre influences distinctes : la programmation logique par contraintes, les implantations paralleles des langages logiques, les langages concurrents par contraintes et les travaux sur les langages orientes-objets. L'influence de la programmation logique par contraintes est visible dans l'architecture du langage et en particulier au niveau de l'integration des resolveurs de contraintes dans le langage. Le langage cc(m) est defini comme un langage noyau objet parallele au dessus duquel les domaines de contraintes sont implantes comme des librairies. L'implantation de ce langage repose sur deux paradigmes de programmation : les langages objets et les langages logiques parallele. C'est grace aux techniques de ces deux mondes que le langage cc(m) a pu etre efficacement implante. Enfin, le cadre des langages cc a ete developpe et utilise pour donner une semantique algebrique au langage cc(m).