L'exemple traite des problèmes relatifs à l'édition d'un document "en langue naturelle", et plus particulièrement à la gestion des références multiples et croisées au sein d'un même texte. L'idée est de placer des étiquettes (labels) dans le texte, et de nommer ensuite symboliquement ces étiquettes pour se référer au numéro de page ou de ligne correspondant.
1. Présentation
2. L'exemple
3. Réalisation
4. Conclusion
On a ici deux notions différentes :
L'intérêt qu'on attache non plus au texte édité mais à certaines propriétés de la forme décompilée entraîne qu'en plus d'un nombre restreint d'opérateurs qu'on ajoute à la syntaxe abstraite il faut légèrement modifier les fonctions d'évaluation des textes.