Parallel Parsing Processes
Journal article, 2004

We derive a combinator library for non-deterministic parsers with a monadic interface, by means of successive refinements starting from a specification. The choice operator of the parser implements a breadth-first search rather than the more common depth-first search, and can be seen as a parallel composition between two parsing processes. The resulting library is simple and efficient for “almost deterministic” grammars, which are typical for programming languages and other computing science applications.

Author

Koen Lindström Claessen

Chalmers, Department of Computing Science, Functional Programming

Chalmers, Department of Computing Science, Formal Methods

Journal of Functional Programming

0956-7968 (ISSN) 1469-7653 (eISSN)

Vol. 14 6 741--757-

Subject Categories

Computer and Information Science

DOI

10.1017/S0956796804005192

More information

Created

10/7/2017