Projet de recherche IT/IF/004 (Action de recherche IT)
La recherche sera organisée par le biais de deux axes complémentaires. D'une part des techniques d'interprétation abstraite de programmes parallèles (logiques) seront développées, l'objectif étant de mettre en point tant des applications spécifiques qu'un cadre général. D'autre part on vise implémenter des modèles en vue d'un exécution parallèle. Une attention toute particulière sera accordée à la définition du type d'information globales (ce qui peut être réalisé au moyen de l'interprétation abstracte) pouvant être utilisées pour augmenter l'efficacité.
