Generalized Parsing and Term Rewriting: Semantics Driven Disambiguation

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 -- Clement Vasseur -o) [ nitro :: EPITA CSI 2005 ] /\\ "Programming is about being lazy." _\_V

"Clement" == Clement Vasseur <nitro@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
Bravo. À lire pour mercredi !
participants (2)
-
Akim Demaille
-
Clement Vasseur