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 …