Overview   -   Examples   -   Manual   -   Download   -   References   -   Contact

Acknowledgements and References

Christophe Raffalli: ideas for self-extensibility and disambiguation with the system of priorities and the relation between priorities. Dypgen began as a school work supervised by Christophe Raffalli in 2005. Pierre Hyvernat made the documentation generation script.

The primary goal of dypgen is to be a convenient and useful tool for OCaml developers. To achieve this, dypgen introduces new ideas as well as gathers and implements ideas found in other projects and papers I acknowledge here.

Dypgen uses Martin Bravenboer and Eelco Visser algorithm of parse table composition, adapted to handle dypgen's system of priorities and local extensibility. This algorithm is documented in Martin Bravenboer's PhD thesis.

[1] Martin Bravenboer and Eelco Visser, Parse Table Composition: Separate Compilation and Binary Extensibility of Grammars, 2007.

The idea of merge functions as well as some ideas for the GLR algorithm are borrowed from the following technical report about the parser generator Elkhound from Scott McPeak:

[2] Scott McPeak. Elkhound: A fast, efficient GLR parser generator. Technical Report CSD-02-1214, University of California, Berkeley, December 2002.

GLR parsing has been introduced by Masaru Tomita:

[3] Tomita, Masaru (1984). LR parsers for natural languages, 10th International Conference on Computational Linguistics. COLING: 354-357.

[4] Tomita, Masaru (1985). An efficient context-free parsing algorithm for natural languages, International Joint Conference on Artificial Intelligence. IJCAI: 756-764

Overview   -   Examples   -   Manual   -   Download   -   References   -   Contact