Semantics driven disambiguation: A comparison of different approaches
- Renaud Durlin
- Transformers, context-free grammar, attribute grammarStratego, ASF, _N_ SDF, disambiguation, parsing, program transformation, term rewriting
Modularity, scalability and expressiveness, three main aspects for a disambiguation system. Disambiguation is the step occurring just after the parsing that consists in analyzing the output given by a generalized LR parser. The goal is to choose, amongst the many parse trees, the right one that corresponds to the input using semantics rules. By means of a comparison with two other methods based on SDF (the first one using ASF formalism and the second one using Stratego language), our approach, attribute grammars, will be evaluated with respect to these three aspects to bring out its strengths and its weaknesses.