Macro-expansion en lisp : semantique et realisation

par ANTOINE DUMESNIL DE MARICOURT

Thèse de doctorat en Sciences appliquées

Sous la direction de D. PERRIN.

Soutenue en 1995

à Paris 7 .

mots clés

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

Titre traduit

Macro-expansion in lisp: semantic and implementation

Pas de résumé disponible.