Integration des paradigmes de programmation parallele, fonctionnelle et imperative : fondements semantiques

par MOURAD DEBABI

Thèse de doctorat en Sciences appliquées

Sous la direction de Michel Bidoit.

Soutenue en 1994

à Paris 11 .

    mots clés mots clés


  • Résumé

    L'objectif principal de la these est de poser les fondements theoriques de l'unification des trois paradigmes de calcul communement appeles: paradigmes de programmation parallele, fonctionnelle et imperative. Cela revient a examiner, essentiellement dans une optique theorique, la cohabitation, dans un meme langage, de ces trois paradigmes. Ainsi, nous experimentons nos idees sur un langage de type ml dote de primitives de parallelisme. Ce langage peut etre vu comme un lambda-calcul type, adoptant l'appel par valeur comme strategie d'evaluation et integrant de maniere saine des primitives de programmation imperative et parallele. La theorie semantique que nous presentons dans cette these consiste en une semantique statique et une semantique dynamique. La semantique statique que nous proposons repose sur la discipline des types et des effets. La premiere semantique dynamique que nous presentons est operationnelle. Elle est inspiree par la theorie des tests de hennessy. La deuxieme semantique presentee est denotationnelle. Elle est basee sur une adaptation du modele des arbres d'acceptation de hennessy. La derniere partie de cette theorie semantique consiste a etendre la semantique statique ainsi que le modele denotationnel a un langage de taille reelle, concurrent ml


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 204 P.
  • Annexes : 140 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Accessible 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-011796
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.