* TODO: Add pointer to Sylvain Schmitz's work on static detection

of potential ambiguities in GLR grammers.

2 files changed, 8 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index f8505423..4cf3d188 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2006-12-13  Paul Eggert  <eggert@cs.ucla.edu>
+
+	* TODO: Add pointer to Sylvain Schmitz's work on static detection
+	of potential ambiguities in GLR grammers.
+
 2006-12-12  Joel E. Denny  <jdenny@ces.clemson.edu>
 
 	* tests/testsuite.at (AT_CHECK): When checking if $1 starts with
diff --git a/TODO b/TODO
index ca610cc0..7d6f20ea 100644
--- a/TODO
+++ b/TODO
@@ -56,6 +56,9 @@ Provide better assistance for understanding the conflicts by providing
 a sample text exhibiting the (LALR) ambiguity.  See the paper from
 DeRemer and Penello: they already provide the algorithm.
 
+** Statically check for potential ambiguities in GLR grammars.  See
+<http://www.i3s.unice.fr/~schmitz/papers.html#expamb> for an approach.
+
 
 * Extensions