Fermetures et modules dans les langages concurrents avec contraintes fondés sur la logique linéaire

par Rémy Haemmerlé

Thèse de doctorat en Informatique

Sous la direction de François Fages.

Soutenue en 2008

à Paris 7 .

  • Titre traduit

    Closures and Modules within Linear Logic Concurrent Constraint Languages


  • Pas de résumé disponible.


  • Résumé

    Cette thèse étudie l'internalisation dans les langages concurrents avec contraintes fondés sur la logique linéaire (LCC) d'un système de modules sans modification de la logique sous-jacente. Il en résulte un langage opérationnellement très simple et mono-paradigme qui incorpore nativement un grand nombre de concepts de programmation tels que le non déterminisme, les contraintes, l'affectation imperative, la gestion de la concurrence, les fermetures et l'encapsulation de code. Cette grande simplicité permet alors d'obtenir de façon directe une sémantique logique premier ordre. Dans la première partie de cette thèse nous montrons que les déclarations de procédures des langages LCC peuvent être supprimées au profit d'un nouveau type d'agent asks persistants tout en préservant la sémantique logique du langage. Nous montrons que le langage qui résulte de cette internalisation des déclarations fournit toute la puissance d'expression des fermetures des langages fonctionnels et des calculs de processus classiques à travers des encodages où les variables jouent le rôle de canaux de communication dynamiques. Dans la seconde partie nous définissons un système de modules pour cette classe de langages, dans lequel les modules peuvent être référencés par des variables. Nous démontrons que, grâce à ce système de modules, le masquage de code s'obtient alors par l'opérateur usuel de masquage des variables. Puis nous présentons un prototype d'implémentation d'une instance de ce système de modules et illustrons son utilisation en programmation avec contraintes.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (149 f.)
  • Notes : Publication autorisée par le jury
  • Annexes : 93 réf.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • PEB soumis à condition
  • Cote : TS (2008) 014
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.