ridge14sle.pdf (217.69 kB)
Download file

Simple, efficient, sound and complete combinator parsing for all context-free grammars, using an oracle

Download (217.69 kB)
conference contribution
posted on 09.12.2014, 10:20 by Tom Ridge
Parsers for context-free grammars can be implemented directly and naturally in a functional style known as “combinator parsing”, using recursion following the structure of the grammar rules. Traditionally parser combinators have struggled to handle all features of context-free grammars, such as left recursion. Previous work introduced novel parser combinators that could be used to parse all context-free grammars. A parser generator built using these combinators was proved both sound and complete in the HOL4 theorem prover. Unfortunately the performance was not as good as other parsing methods such as Earley parsing. In this paper, we build on this previous work, and combine it in novel ways with existing parsing techniques such as Earley parsing. The result is a sound-and-complete combinator parsing library that can handle all context-free grammars, and has good performance.

History

Citation

Software Language Engineering, 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014, Proceedings of, pp. 261-281

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer Science

Source

Software Language Engineering - 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014

Version

AM (Accepted Manuscript)

Published in

Software Language Engineering

Publisher

Springer International Publishing

isbn

978-3-319-11244-2;978-3-319-11245-9

Copyright date

2014

Available date

01/10/2015

Publisher version

http://link.springer.com/chapter/10.1007/978-3-319-11245-9_15

Notes

timestamp: Tue, 09 Sep 2014 10:57:11 +0200 biburl: http://dblp.uni-trier.de/rec/bib/conf/sle/Ridge14 bibsource: dblp computer science bibliography, http://dblp.org

Book series

Lecture Notes in Computer Science;

Language

en

Usage metrics

Categories

Keywords

Exports