Sciweavers

ENTCS
2000
103views more  ENTCS 2000»
13 years 11 months ago
Combinator Parsers - From Toys to Tools
We develop, in a stepwise fashion, a set of parser combinators for constructing deterministic, error-correcting parsers. The only restriction on the grammar is that it is not left...
S. Doaitse Swierstra
ICFP
2010
ACM
14 years 16 days ago
Total parser combinators
A monadic parser combinator library which guarantees termination of parsing, while still allowing many forms of left recursion, is described. The library's interface is simil...
Nils Anders Danielsson
MPC
2010
Springer
165views Mathematics» more  MPC 2010»
14 years 4 months ago
Dependently Typed Grammars
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...
Kasper Brink, Stefan Holdermans, Andres Löh
IFL
2007
Springer
141views Formal Methods» more  IFL 2007»
14 years 5 months ago
Partial Parsing: Combining Choice with Commitment
Abstract. Parser combinators, often monadic, are a venerable and widelyused solution to read data from some external format. However, the capability to return a partial parse has, ...
Malcolm Wallace