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.

Länka till denna publikation

Dela på webben

Skapa referens, olika format (klipp och klistra)

HarvardClaessen, K. (2004) Parallel Parsing Processes.

BibTeX @article{Claessen2004,author={Claessen, Koen},title={Parallel Parsing Processes},journal={Journal of functional programming},issn={0956-7968},volume={14},issue={6},pages={741--757},abstract={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.},year={2004},}

RefWorks RT Journal ArticleSR ElectronicID 2546A1 Claessen, KoenT1 Parallel Parsing ProcessesYR 2004JF Journal of functional programmingSN 0956-7968VO 14IS 6SP 741AB 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.LA engDO 10.1017/S0956796804005192LK http://dx.doi.org/10.1017/S0956796804005192OL 30