Semantics driven disambiguation: A comparison of different approaches

Authors

Renaud Durlin

Type

techreport

Year

2008

Number

0802

Projects

Transformers

Keywords

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

Abstract

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.