[Transformers] Re: Generalized Parsing and Term Rewriting: Semantics Driven Disambiguation

>> "Clement" == Clement Vasseur <nitro(a)epita.fr> writes:

J'ai finalement retrouvé l'article que nous avait donné Mark van den Brand lors du ASF+SDF Users Day en 2003 :

Generalized Parsing and Term Rewriting: Semantics Driven Disambiguation

M. van den Brand, A. Klusener, L. Moonen and J. Vinju

Generalized parsing technology provides the power and flexibility to attack real-world parsing applications. However, many programming languages have syntactical ambiguities that can only be solved using semantical analysis. In this paper we propose to apply the paradigm of term rewriting to filter ambiguities based on semantical information. We start with the definition of a representation of ambiguous derivations. Then we extend term rewriting with means to handle such derivations. Finally, we apply these tools to some real world examples, namely C and COBOL. The resulting architecture is simple and efficient as compared to semantic directed parsing.

http://www1.elsevier.com/gej-ng/31/29/23/133/52/30/82.3.008.pdf