La Syntaxe Complétée permet d'enrichir les fonctionnalités de l'éditeur ; mais elle complique la définition du langage de représentation des « textes », sans garantir l'exhaustivité des types de dépendances rencontrés dans un texte source.
Pour s'assurer une plus grande flexibilité dans l'enrichissement du langage, on définit donc ce dernier sous la forme d'une Syntaxe Abstraite, dans un formalisme simple et extensible. Partant de cette propriété, on introduit de nouvelles notions, soit pour résoudre certaines difficultés dans l'évaluation des « textes », soit pour présenter de nouveaux services que l'outil pourrait offrir.
1. Présentation de la Syntaxe Abstraite
1.1. Solution Lisp
1.2. Simplification de la syntaxe : la syntaxe abstraite
1.3. Evolution de la syntaxe : la syntaxe initiale
2.1. La gestion des noms
2.2. Les modifications non locales sur la forme évaluée
2.4. Annexe : exemple d'emploi partiel
3.1. L'édition des références croisées
3.2. L'élision