An Experimental Ambiguity Detection Tool

Electronic Notes in Theoretical Computer Science

Volumn 203, Issue 2, 2008, Pages 69-84

  Schmitz, Sylvain ^a  

^a UNIVERSITY OF NICE SOPHIA ANTIPOLIS   (France)

Author keywords

disambiguation; GLR; grammar verification

Indexed keywords

COMPUTATIONAL GRAMMARS; COMPUTER PROGRAMMING LANGUAGES; FORMAL LANGUAGES; SET THEORY;

AMBIGUITY DETECTION TOOLS; DISAMBIGUATION; GLR; GRAMMAR VERIFICATION;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 41349104272     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.03.045     Document Type: Article

References (34)

1. Aho A.V., Johnson S.C., and Ullman J.D. Deterministic parsing of ambiguous grammars. Communications of the ACM 18 (1975) 441-452 10.1145/360933.360969
2. Aho A.V., and Ullman J.D. The Theory of Parsing, Translation, and Compiling. Volume I: Parsing. Series in Automatic Computation (1972), Prentice Hall
3. Bermudez M.E., and Schimpf K.M. Practical arbitrary lookahead LR parsing. Journal of Computer and System Sciences 41 (1990) 230-250 10.1016/0022-0000(90)90037-L
4. Billot, S. and B. Lang, The structure of shared forests in ambiguous parsing, in: ACL'89 (1989), pp. 143-151. URL http://www.aclweb.org/anthology/P89-1018
5. Brabrand, C., R. Giegerich and A. Møller, Analyzing ambiguity of context-free grammars, in: M. Balík and J. Holub, editors, CIAA'07, 2007, to appear in Lecture Notes in Computer Science. URL http://www.brics.dk/~brabrand/grambiguity/
6. Cantor D.G. On the ambiguity problem of Backus systems. Journal of the ACM 9 (1962) 477-479 10.1145/321138.321145
7. Caucal D. Graphes canoniques de graphes algébriques. RAIRO - Theoretical Informatics and Applications 24 (1990) 339-352. http://www.inria.fr/rrrt/rr-0872.html URL
8. Chomsky N., and Schützenberger M.P. The algebraic theory of context-free languages. In: Braffort P., and Hirshberg D. (Eds). Computer Programming and Formal Systems. Studies in Logic (1963), North-Holland Publishing 118-161
9. Čulik K., and Cohen R. LR-Regular grammars-an extension of LR(k) grammars. Journal of Computer and System Sciences 7 (1973) 66-96
10. Donnely C., and Stallman R. Bison version 2.1. URL (2005). http://www.gnu.org/software/bison/manual/
11. Earley J. An efficient context-free parsing algorithm. Communications of the ACM 13 (1970) 94-102 10.1145/362007.362035
12. Fortes Gálvez J., Schmitz S., and Farré J. Shift-resolve parsing: Simple, linear time, unbounded lookahead. In: Ibarra O.H., and Yen H.-C. (Eds). CIAA'06. Lecture Notes in Computer Science 4094 (2006) 253-264 10.1007/11812128_24
13. Grune D., and Jacobs C.J.H. Parsing Techniques: A Practical Guide (1990), Ellis Horwood Limited. http://www.cs.vu.nl/~dick/PTAPG.html URL
14. Hunt III, H.B., T.G. Szymanski and J.D. Ullman, Operations on sparse relations and efficient algorithms for grammar problems, in: 15th Annual Symposium on Switching and Automata Theory (1974), pp. 127-132
15. Johnson, S.C., YACC - yet another compiler compiler, Computing science technical report 32, AT&T Bell Laboratories, Murray Hill, New Jersey (1975)
16. Kahrs, S., Mistakes and ambiguities in the definition of Standard ML, Technical Report ECS-LFCS-93-257, University of Edinburgh, LFCS (1993). URL http://www.lfcs.inf.ed.ac.uk/reports/93/ECS-LFCS-93-257/
17. Kernighan B.W., and Ritchie D.M. The C Programming Language (1988), Prentice-Hall
18. Klint P., Lämmel R., and Verhoef C. Toward an engineering discipline for grammarware. ACM Transactions on Software Engineering and Methodology 14 (2005) 331-380 10.1145/1072997.1073000
19. Klint, P. and E. Visser, Using filters for the disambiguation of context-free grammars, in: G. Pighizzini and P. San Pietro, editors, ASMICS Workshop on Parsing Theory, Technical Report 126-1994 (1994), pp. 89-100. URL http://citeseer.ist.psu.edu/klint94using.html
20. Lämmel R., and Verhoef C. Semi-automatic grammar recovery. Software: Practice & Experience 31 (2001) 1395-1438 10.1002/spe.423
21. Lee P. Using the SML/NJ System (1997), Carnegie Mellon University. http://www.cs.cmu.edu/~petel/smlguide/smlnj.htm URL
22. McPeak S., and Necula G.C. Elkhound: A fast, practical GLR parser generator. In: Duesterwald E. (Ed). CC'04. Lecture Notes in Computer Science 2985 (2004) 73-88 10.1007/b95956
23. Milner R., Tofte M., Harper R., and MacQueen D. The definition of Standard ML. revised edition (1997), MIT Press
24. Parr, T.J., "The Definitive ANTLR Reference: Building Domain-Specific Languages," The Pragmatic Programmers, 2007
25. Poplawski D.A. On LL-Regular grammars. Journal of Computer and System Sciences 18 (1979) 218-227 10.1016/0022-0000(79)90031-X
26. Purdom P. The size of LALR(1) parsers. BIT Numerical Mathematics 14 (1974) 326-337 10.1007/BF01933232
27. Reeder J., Steffen P., and Giegerich R. Effective ambiguity checking in biosequence analysis. BMC Bioinformatics 6 (2005) 153 10.1186/1471-2105-6-153
28. Rossberg, A., Defects in the revised definition of Standard ML, Technical report, Saarland University, Saarbrücken, Germany (2006). URL http://ps.uni-sb.de/Papers/paper_info.php?label=sml-defects
29. Schmitz S. Noncanonical LALR(1) parsing. In: Dang Z., and Ibarra O.H. (Eds). DLT'06. Lecture Notes in Computer Science 4036 (2006) 95-107 10.1007/11779148_10
30. Schmitz, S., Conservative ambiguity detection in context-free grammars, in: ICALP'07, 2007, to appear in Lecture Notes in Computer Science. URL http://www.i3s.unice.fr/~mh/RR/2006/RR-06.30-S.SCHMITZ.pdf
31. Scott E., and Johnstone A. Right nulled GLR parsers. ACM Transactions on Programming Languages and Systems 28 (2006) 577-618 10.1145/1146809.1146810
32. Szymanski T.G., and Williams J.H. Noncanonical extensions of bottom-up parsing techniques. SIAM Journal on Computing 5 (1976) 231-250 10.1137/0205019
33. Tomita M. Efficient Parsing for Natural Language (1986), Kluwer Academic Publishers
34. van den Brand M., Scheerder J., Vinju J.J., and Visser E. Disambiguation filters for scannerless generalized LR parsers. In: Horspool R.N. (Ed). CC'02. Lecture Notes in Computer Science 2304 (2002) 143-158. http://www.springerlink.com/content/03359k0cerupftfh/ URL