|Subject:||Detecting ambiguities in grammars|
|Date:||Wed, 13 Dec 2006 10:53:14 +0100|
|User-agent:||Thunderbird 220.127.116.11 (Macintosh/20061025)|
Hi all,If you ever used bison in GLR mode, and got a few syntax errors at run-time upon detection of some ambiguity, then you might have wished for a static check on the grammar itself that would have revealed the ambiguity earlier.
I have started working on an ambiguity check in bison, and I think I should announce it here. The check is really very experimental, and probably most of the code will be flushed down the toilet before a real tool ready for the end user comes out. No effort was made to make the ambiguity report intelligible. All I would like is to hear what you think of the idea and of the first results I have.
So, if anyone is interested, a research report on the implementation and the modified bison source are available from there: <http://www.i3s.unice.fr/~schmitz/papers.html#expamb>. Comments on any aspect of the tool (or of the report) are of course most welcome.
-- Regards, Sylvain
|[Prev in Thread]||Current Thread||[Next in Thread]|