Le présent article introduit une forme d'analyse de stricticité arrière appelée propagation abstraite des demandes et examine certains des facteurs influencant la précision du processus d'analyse résultant, cherchant ainsi à mieux cerner les limites de l'analyse de stricticité.
Un compilateur pour langage paresseux basé sur le modèle de propagation abstraite des demandes est présenté ainsi que diverses expériences réalisées avec ce compilateur. Les résultats obtenus montrent que l'analyse de stricticité permet effectivement d'améliorer les performances de facon significative. Toutefois, les résultats démontrent par ailleurs que l'analyse de stricticité seule ne suffit pas .