Semantics driven disambiguation: A comparison of different approaches

Auteurs

Renaud Durlin

Type

techreport

Année

2008

Numéro

0802

Projects

Transformers

Mots-clés

Transformers, context-free grammar, attribute grammarStratego, ASF, _N_ SDF, disambiguation, parsing, program transformation, term rewriting

Résumé

Modularité, extensibilité et expressivité, trois aspects fondamentaux pour un système de désambiguïsation. La désambiguïsation est l'étape survenant juste après l'analyse syntaxique qui consiste à analyser la sortie obtenue lors de l'utilisation d'un parseur LR généralisé. Le but de cette étape étant de sélectionner, parmi toute une forêtl'unique arbre valide correspondant à l'entrée en prenant en compte les règles de sémantique contextuelles. Au travers d'une comparaison avec deux autres techniques reposant sur SDF (le formalisme ASF et le langage Stratego), le système de grammaires attribuées utilisé dans Transformers sera évalu par rapport à ces aspect fondamentaux pour en faire ressortir les avantages et inconvénients.