Stratégies Efficaces et Modèles d'Implantation pour les Langages Fonctionnels.

Dans les langages fonctionnels, l'efficacite depend crucialement du choix de la strategie d'evaluation et d'un modele d'implantation adapte. Nous developpons d'abord un λ-calcul avec substitutions explicites qui evite les problemes habituels lies a la substitution et a l'α-conversion, dans lequel on peut definir les strategies usuelles, mais aussi des strategies avec un meilleur partage de calcul. Ensuite, nous developpons un modele d'implantation efficace pour ce calcul. Pour cela, nous proposons une representation innnovante des variables libres, d'abord dans le cadre tres general de la recriture d'ordre superieur, puis avec plus de details dans notre cas particulier. Nous obtenons ainsi un λ-calcul avec substitutions explicites sans noms ni indices, dans lequel les te! rmes sont annotes avec de l'information qui indique comment les substitutions doivent etre propagees, et qui constitue un modele d'implantation efficace pour nos strategies. Des machines abstraites sont alors definies, implantees et comparees experimentalement aux meilleurs evaluateurs connus. Finalement, nous etudions les relations entre machines abstraites traditionnelles et reseaux d'interaction, deux modeles d'implantation courants mais tres differents. Plus precisement, nous montrons comment certaines strategies peuvent etre implantees dans les reseaux d'interaction d'une facon tres naturelle, rapprochant ainsi deux modeles utilises pour l'implantation de strategies efficaces.