next up previous contents
Next: Modification locales Up: De la pré-interprétation à Previous: Traitement de la complétude

Conclusion

Avec ces opérations, toutes les contraintes énumérées au chapitre précédent sont respectées, la structure sémantique globale de l'interprétation est stabilisée.

Il nous reste maintenant à envisager les différentes modifications qui peuvent s'appliquer à une telle structure stabilisée. Nous allons distinguer pour cela deux types de modifications :



Ludovic TANGUY
Fri Dec 5 17:36:15 MET 1997