Un système de types étiquetés polymorphes pour typer les calculs de processus à liaison noms-canaux dynamiques
Institution:
Toulouse 3Disciplines:
Directors:
Abstract EN:
Pas de résumé disponible.
Abstract FR:
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