Thèse soutenue

Macro-expansion en lisp : semantique et realisation

FR  |  
EN
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é

FR

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