CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Parallel Parsing Processes

Koen Claessen (Institutionen för datavetenskap, Funktionell programmering ; Institutionen för datavetenskap, Formella metoder)
Journal of functional programming (0956-7968). Vol. 14 (2004), 6, p. 741--757.
[Artikel, refereegranskad vetenskaplig]

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.



Denna post skapades 2006-10-09. Senast ändrad 2013-07-04.
CPL Pubid: 2546

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)


Institutioner (Chalmers)

Institutionen för datavetenskap, Funktionell programmering (2002-2004)
Institutionen för datavetenskap, Formella metoder (2002-2004)

Ämnesområden

Information Technology

Chalmers infrastruktur