La strategie paresseuse

The lazy strategy

• Auteur / Autrice : Luc Maranget
• Direction : Jean-Jacques Lévy
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1992
• Etablissement(s) : Paris 7

Résumé

Les systemes orthogonaux de reecriture sont etudies en tant que modele des langages de programmation. Dans cette approche, tout programme est represente par un terme, ainsi que les eventuels resultats de l'evaluation de ce programme. On considere les resultats definitifs, qui sont les formes normales, et divers types de resultats partiels, tels que les formes normales de tete. Les conditions d'orthogonalite assurent, pour un programme donne, l'unicite des resultats definitifs et intermediaires qui sont donc bien definis. Les interpreteurs et les compilateurs doivent ensuite suivre une methode ou strategie de reduction pour calculer ces resultats. Des strategies sont definies, puis etudiees, tant du point de vue de la correction si un programme admet un resultat, une strategie correcte parviendra a le calculer , que de l'optimalite le calcul du resultat se fait en un nombre minimal d'etapes elementaires de reduction. La plus precise des strategies definies ici, la strategie paresseuse, est correcte et optimale pour le calcul de toutes les formes possibles de resultat. La mise en uvre effective de la strategie paresseuse est finalement realisee dans le cas du langage de programmation ml. L'appel par filtrage avec priorite de ml est completement traite