Lambdix : un interprète LISP à liaison lexicale et évaluation paresseuse

Lambdix : a LISP interpreter with lexical binding and lazy evaluation

• Auteur / Autrice : Catherine Recanati
• Direction : Jean-Claude Raoult
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1986
• Etablissement(s) : Paris 11
• Partenaire(s) de recherche : Autre partenaire : Université de Paris-Sud. Faculté des sciences d'Orsay (Essonne)
• Jury : Président / Présidente : Jean-Pierre Jouannaud
• Jury : Examinateurs / Examinatrices : Ion Filotti, Guy Cousineau, Jean-Pierre Jouannaud, Jean-Claude Raoult
• Jury : Rapporteur / Rapporteuse : Ion Filotti

Mots clés

Mots clés contrôlés

LISP (langage de programmation)

Résumé

Lambdix est contrairement à lisp un langage fonctionnel d'ordre supérieur, de performances comparables. Son implantation développe une représentation arborescente des environnements qui permet de résoudre les problèmes liés au passage d'arguments fonctionnels. Cette gestion des environnements permet une implantation de l'appel ''par nécessité