Macro-expansion en lisp : semantique et realisation

Macro-expansion in lisp: semantic and implementation

• Auteur / Autrice : ANTOINE DUMESNIL DE MARICOURT
• Direction : D. PERRIN
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1995
• Etablissement(s) : Paris 7

Résumé

La macro-expansion en lisp pose de nombreux problemes qui sont abordes dans la these sous un jour nouveau. Un modele theorique original permettant de caracteriser la semantique de l'expansion est presente. Ce modele fait reference a la notion classique de reduction en lambda-calcul. Un nouvel algorithme d'expansion est ensuite propose, et la preuve de sa correction ainsi qu'une analyse de sa complexite sont fournies. La complexite temporelle de l'algorithme est lineaire. Les interactions entre macros et systemes d'objets sont ensuite etudiees, et le nouveau concept de macro generique est presente comme une generalisation des macros usuelles. Ceci nous permet de donner une description elegante de la macro define-class. Enfin, les problemes lies a la presence de modules et a la compilation separee sont abordes et quelques solutions originales sont proposees