Abstract FR:

Les langages fonctionnels suscitent beaucoup d'intérêt pour les systèmes parallèles a cause de leur sémantique claire et précise, et de leur parallélisme intrinsèque. Nous nous appuyons sur les bases mathématiques du dialecte Caml de ml pour lui ajouter deux nouveaux modes d'appel de fonctions: l'appel par nécessite et l'appel spéculatif. Nous obtenons un langage avec une caractéristique originale: la disponibilité de trois modes d'évaluation (par valeur, par nécessite ou par spéculation). Nous détaillons la réalisation du système, puis nous présentons quelques exemples et les premiers résultats. Enfin nous exposons un début de solution au problème délicat pose par les exceptions dans un langage paresseux, et une nouvelle classe d'algorithmes prometteurs de ramasseur de miettes