An Experimental Ambiguity Detection Tool

Sylvain Schmitz (1)

1 LSV - Laboratoire Spécification et Vérification [Cachan]

Although programs convey an unambiguous meaning, the grammars used in practice to describe their syntax are often ambiguous, and completed with disambiguation rules. Whether these rules achieve to the removal of all the ambiguities while preserving the original intended language can be difficult to ensure. We present an experimental ambiguity detection tool for GNU Bison, and illustrate how it can assist a grammatical development for a subset of Standard ML.

Mots clés: grammar verification; disambiguation; GLR

Domaines: Génie logiciel [cs.SE]

Sylvain Schmitz. An Experimental Ambiguity Detection Tool. Science of Computer Programming, 2010, 75 (1--2), pp.71--84. ⟨10.1016/j.scico.2009.07.002⟩. ⟨hal-00436398⟩