Session type : semantic foundations and object-oriented applications

par Elena Giachino

Thèse de doctorat en Informatique

Sous la direction de Giuseppe Castagna.

Soutenue en 2009

à Paris 7 .

  • Titre traduit

    Types session : fondations sémantiques et applications orientées objets


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    Deux processus qui échangent des messages doivent s'accorder sur un protocole à adopter lors de l'interaction, pour avoir la garantie que la communication avance sans discordances. Dans la théorie des types session la spécification du protocole est un type associé au canal et décrit la séquence et la direction des données échangées. Dans cette thèse nous étudions les types session dans une perspective fondatrice et une linguistique. Nous définissons d'abord une sémantique pour les types session. Puisque ces types décrivent le comportement de communication d'un processus, il semble naturel de les définir non pas syntaxiquement, en suivant la syntaxe du processus, mais sémantiquement, en capturant le comportement observable des processus en termes des actions input/output qu'ils effectuent. Nous exploitons des théories bien connues: la théorie des ensembles ; et l'algèbre de processus. Nous interprétons les types comme des ensembles et le sous-typage comme la relation standard d'inclusion. De l'algèbre ; de processus nous empruntons les notions de choix interne et externe et définissons une sémantique de réduction pour les types en utilisant les LTS standard. D'un point de vue linguistique, nous étudions le dessein de calculs orientées objet avec les sessions, qui est la première étape de l'intégration de ces types dans des langages réels. La large adoption du paradigme orienté objet pour écrire des applications modernes est la raison qui motive les efforts de recherche vers l'intégration des paradigmes orientées session et orientées objet. Nous enrichissons les types session pour les langages objet avec le polymorphisme limitées, les unions et le polymorphisme paramétrique.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (197 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : 76 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 (2009) 186
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.