Dans cette présentation, une approche parallèle de la mise en oeuvre des langages fonctionnels paresseux sera introduite. Cette approche, basée sur le modèle parallèle d'exécution associé aux graphes de flux de données, utilise une forme d'analyse de stricticité appelée "propagation abstraite des demandes". La propagation de demandes peut être formalisée par le biais d'une sémantique dénotationnelle non-standard (propagation exacte) et d'une interpretation abstraite associée (propagation abstraite). Ceci permet de considérer la propagation de demandes comme une abstraction du processus de calcul de l'"inverse" d'une fonction, i.e., permet de déterminer les entrées devant être fournies de facon à produire un certain résultat.
La propagation abstraite des demandes a été incorporée dans un compilateur pour une version paresseuse de Id, langage initialement conçu pour les machines à flux de données dynamiques. Diverses expériences ont été effectuées pour déterminer l'impact de la "paresse" sur le parallélisme. Ces résultats expérimentaux seront brièvement présentés, résultats montrant que paresse et parallélisme sont peu compatibles.