Formal Definition of the Disambiguation with Attribute Grammars

Auteurs

Nicolas Pierron

Type

techreport

Année

2007

Numéro

0702

Projects

Transformers

Mots-clés

disambiguation, attribute grammars, attribute propagation, Transformers

Résumé

Le problème actuel de la désambiguïsation dans Transformers avec des grammaires attribuées est que l'on ne possède pas de preuve permettant de certifier cette approche. L'usage actuel des grammaires attribuées pour la désambiguïsation du C et d'une partie du C++ laisse à penser que cette méthode est correcte. Afin de supprimer tout doute, une définition et une formalisation de notre approche est nécessaire. Ce travail comporte est divisé en deux parties. La première porte sur la preuve de la validité de l'approche utilisée dans Transformers. La seconde est consacrée à la correction et au re-développement des outils existants suivant le modèle défini.