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

par Laurent Perron

Thèse de doctorat en Sciences appliquées

Sous la direction de François Fages.

Soutenue en 1997

à Paris 11 .

    mots clés mots clés


  • Résumé

    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).


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 121 P.
  • Annexes : 115 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : D.3-PER
  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Disponible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-013289
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.