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 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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 187 P.
  • Annexes : 32 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1995
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.