论文信息 - Menhir Reference Manual - 字舞流文

Menhir Reference Manual

F. Pottier | Y. Régis-Gianas

[1] Donald E. Knuth,et al. On the Translation of Languages from Left to Right , 1965, Inf. Control..

[2] References , 1971 .

[3] Murray Hill,et al. Yacc: Yet Another Compiler-Compiler , 1978 .

[4] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .

[5] Robert E. Tarjan,et al. Storing a sparse table , 1979, CACM.

[6] Peter Dencker,et al. Optimization of parser tables for portable compilers , 1984, TOPL.

[7] Alfred V. Aho,et al. Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[8] Michael Whitney. Even faster lr parsing , 1990, Softw. Pract. Exp..

[9] Andrew W. Appel,et al. Modern Compiler Implementation in ML , 1997 .

[10] Achyutram Bhamidipaty,et al. Very Fast YACC-Compatible Parsers (For Very Little Effort) , 1998, Softw. Pract. Exp..

[11] Clinton L. Jeffery,et al. Generating LR syntax error messages from examples , 2003, TOPL.

[12] David Pager,et al. A practical general method for constructing LR(k) parsers , 1977, Acta Informatica.

[13] Frank DeRemer,et al. Efficient computation of LALR(1) look-ahead sets , 2004, SIGP.

[14] Ralf Lämmel,et al. Towards an engineering discipline for GRAMMARWARE Draft as of August 17 , 2003 , 2003 .

[15] Yann Régis-Gianas,et al. Towards Efficient, Typed LR Parsers , 2006, Electron. Notes Theor. Comput. Sci..