Auteur : Louis Gesbert (LACL - Paris 12)

Titre : Programmation parallèle fonctionnelle et certifiée

Résumé :

BSML est un langage permettant une programmation parallèle
fonctionnelle et structurée. En s'appuyant sur le coeur du langage
existant, ce travail propose d'une part des extensions qui en font un
langage plus général et plus simple (traits impératifs tels que
références et exceptions, syntaxe spécifique...) tout en conservant et
étendant sa sûreté (sémantiques formelles et système de types), et
d'autre part une méthodologie de développement d'applications
parallèles certifiées.  Cet exposé a donc pour but de donner un aperçu
du langage étendu et de son utilisation.