Deterministic, Error-Correcting Combinator Parsers (1996)
Cached
Download Links
- [www.cs.uu.nl]
- [www.cs.ui.ac.id]
- [www.cs.uu.nl]
- DBLP
Other Repositories/Bibliography
| Venue: | ADVANCED FUNCTIONAL PROGRAMMING |
| Citations: | 70 - 11 self |
BibTeX
@INPROCEEDINGS{Swierstra96deterministic,error-correcting,
author = {S. Doaitse Swierstra and Luc Duponcheel},
title = {Deterministic, Error-Correcting Combinator Parsers},
booktitle = {ADVANCED FUNCTIONAL PROGRAMMING},
year = {1996},
pages = {184--207},
publisher = {Springer-Verlag}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We show how error-correcting, deterministic, combinator parsers can be constructed for grammars which have the LL(1) property. The normal disadvantages of conventional combinator parsers, such as their lack of speed and their poor error reporting, are remedied. Parsers constructed with these combinators are implicitly specialised for the grammar they describe. Because of this property the combinators act as a parser generator for LL(1) grammars. The techniques used to construct the combinators illustrate how partial parametrisation and careful ordering of computations can be used to achieve implicit partial evaluation in a lazy language.
