Participants : Ali Jaber, Isabelle Attali, Denis Caromel
Mots clefs : sémantique naturelle, parallélisme Sisal est un langage fonctionnel dédié à la programmation parallèle data-flow, pour des applications dans le calcul scientifique SPMD ou simd sur des machines à mémoire partagée ou distribuée. Nous travaillons à la définition formelle de ce langage [17,3,2] dans le but de formaliser la parallélisation de programmes.
Nous avons également travaillé à la description formelle de compilateurs pour ce langage. Nous avons construit un environnement de visualisation des graphes adapté au format intermédiaire produit par ces compilateurs et nous avons étudié les extensions de ce format nécessaires pour la nouvelle version de Sisal. Enfin, nous avons montré la validité de notre approche en utilisant nos méthodes pour décrire une des optimisations fournies par le compilateur existant.