Un système de types étiquetés polymorphes pour typer les calculs de processus à liaison noms-canaux dynamiques

par Camille Le Moniès de Sagazan

Thèse de doctorat en Informatique

Sous la direction de Michel Diaz.

Soutenue en 1995

à Toulouse 3 .


  • Pas de résumé disponible.


  • Résumé

    Au cours des vingt dernieres annees, l'approche dite comportementale a conduit a des avancees majeures dans le domaine de la specification et de l'analyse des systemes informatiques. En proposant des objets mathematiques pour la representation des programmes susceptibles de s'executer en parallele, on espere repondre aux besoins de moyens rigoureux de specification et de methodologies de conception, de verification et de correction des systemes, besoins qui se font d'autant plus sentir que la taille, la complexite et les performances de ces systemes s'accroit. Nous etendons la methodologie de typage du langage ml dans le cadre d'un langage de programmation parallele suivant l'approche comportementale. Nous examinons le genre de types qu'il convient d'attribuer aux processus, et, apres avoir developpe de maniere poussee les techniques pertinentes a ce systeme de types, nous en illustrons l'application a un mini-langage parallele et fonctionnel, proche du langage lcs. Nous etendons ensuite notre systeme de types de maniere a traiter d'eventuels problemes de typage de donnees de type enregistrement, ou de langages a objets

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 126 f

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : F-LEM
  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1995TOU30269
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.