Précédent : Langages restreints pour machines parallèles Remonter : Actions de recherche Suivant : Gamma Structuré
Précédent : Langages restreints pour machines parallèles
Remonter : Actions de recherche Suivant : Gamma
Structuré
Notre réflexion sur l'introduction d'un système de types pour le langage Gamma nous a conduit à proposer une notion de type graphe correspondant à une classe de graphes d'une même forme. Ces graphes sont manipulés par des réactions qui extraient un sous-graphe selon des conditions locales et le remplacent par un nouveau sous-graphe. Nous avons conçu un algorithme de vérification qui permet d'assurer que le type est préservé par une réaction. Ces types peuvent alors être vus comme des invariants sur la forme des données.
Nous avons proposé une nouvelle version de Gamma, appelée Gamma Structuré, qui intègre les types graphes [24]. Il s'est avéré que les types graphes peuvent apporter des solutions à des problèmes très différents. Nous avons notamment étudié leur application pour la manipulation de structures de données avec partage dans les langages impératifs [13] ainsi que la description d'architectures de logiciels [15]. Nous détaillons séparément ces trois domaines d'application.