Habilitation à Diriger des Recherches

SISAL: Streams and Iterations in a Single Assignment Language

  • langage fonctionnel parallèle
  • ordre supérieur, multi-expressions, pas d'effet de bord
  • boucles: séquentielles et parallèles
  • streams: parallélisme pipeline

  • exécution séquentielle
  • caractéristiques classiques des langages fonctionnels
  • sémantique stricte sauf pour les streams
  • triplets non évalués 

          [l..u..s]

  • évaluation à la demande ou lors de réduction