Participants : Isabelle Attali, Denis Caromel, Sidi Ould Ehmety, Sylvain Lippi
Mots clefs : analyse de programme, parallélisme, programmation par objets, sémantique naturelle, transformation de programme
Le langage Eiffel// et une extension du langage Eiffel adaptée à la programmation parallèle de type MIMD. Nous avons réutilisé la description de sémantique dynamique de Eiffel pour spécifier la sémantique d'Eiffel//. L'interprète dérivé de ces spécifications permet une animation de l'exécution de programmes avec visualisation du parallélisme et des attentes. Nous avons publié ces premiers résultats dans [23].
D'autre part, nous avons développé autour d'Eiffel un environnement de mise au point (exécution pas à pas, points d'arrêt, etc.) [18]. Cet environnement permet de visualiser les objets de manière graphique (références entre objets, valeurs des attributs, mécanisme de zoom, etc.) grâce à l'utilisation du serveur de graphe développé les années précédentes.
Nos objectifs à terme sont de détecter automatiquement le parallélisme latent de systèmes à objets séquentiels (Eiffel) et de définir et prouver formellement des transformations de systèmes Eiffel séquentiels en systèmes Eiffel//.