Analyses statiques d'un calcul d'acteurs par typage

par Jean-Louis Colaço

Thèse de doctorat en Informatique

Sous la direction de Patrick Sallé.

Soutenue en 1997

à Toulouse, INPT .


  • Résumé

    L'objectif de cette these est de definir des analyses statiques par typage pour des langages fondes sur le modele d'acteurs d'agha. Pour atteindre ce but, la demarche presentee dans ce memoire consiste a definir un calcul de processus dedie a la description des mecanismes essentiels des langages d'acteurs. Dans une premiere partie, nous survolons quelques modeles de programmation concurrente dont celui des acteurs d'agha ainsi qu'un certain nombre de travaux sur l'analyse statique de langages paralleles/concurrents. Nous proposons ensuite un calcul de processus baptise cap (calcul d'acteurs primitifs) dans lequel s'expriment aisement les notions presentes dans le modele d'acteurs : adresse, comportement, envoi de message, changement de comportement. Nous definissons trois systemes de type permettant de detecter statiquement les differentes erreurs dynamiques qui peuvent etre levees lors de l'execution d'un programme cap. Le premier systeme permet de detecter des erreurs liees a la communication (non conformite de l'arite des messages envoyes et attendus). Dans un deuxieme systeme nous etendons la notion de type afin de pouvoir exploiter toutes les constructions de cap tout en verifiant que l'expression typee respecte l'identite des acteurs (a une adresse correspond au plus un acteur). Le dernier systeme que nous definissons est une autre extension du premier qui permet la detection des messages orphelins. Nous appelons message orphelin un message destine a un acteur qui ne sait pas et ne saura jamais le traiter. Pour chacun de ces systemes de type, nous proposons un algorithme capable de decider si une expression cap sans information de type est typable. En conclusion, nous montrons comment cette etude s'integre a l'analyse statique d'un langage d'acteurs derive de caml : ml-act.

  • Titre traduit

    Static analysis by type inference for an actor calculus


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 154 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 147-152

Où se trouve cette thèse\u00a0?

  • Bibliothèque : École nationale supérieure d'électrotechnique, d'électronique, d'informatique, d'hydraulique et des télécommunications. Bibliothèque.
  • Disponible pour le PEB
  • Cote : 97INPT018H/1
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.