Sciweavers

7 search results - page 1 / 2
» Recursive descent parsing for Boolean grammars
Sort
View
ACTA
2007
114views more  ACTA 2007»
13 years 4 months ago
Recursive descent parsing for Boolean grammars
The recursive descent parsing method for the context-free grammars is extended for their generalization, Boolean grammars, which include explicit set-theoretic operations in the f...
Alexander Okhotin
FUIN
2007
138views more  FUIN 2007»
13 years 4 months ago
Parsing Expression Grammar as a Primitive Recursive-Descent Parser with Backtracking
Two recent developments in the field of formal languages are Parsing Expression Grammar (PEG) and packrat parsing. The PEG formalism is similar to BNF, but defines syntax in ter...
Roman R. Redziejowski
ESOP
2010
Springer
13 years 8 months ago
TRX: A Formally Verified Parser Interpreter
Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser inter...
Adam Koprowski, Henri Binsztok
SIGCSE
2005
ACM
117views Education» more  SIGCSE 2005»
13 years 10 months ago
Design patterns for parsing
We provide a systematic transformation of an LL(1) grammar to an object model that consists of · an object structure representing the non-terminal symbols and their corresponding...
Dung Zung Nguyen, Mathias Ricken, Stephen B. Wong
ICFP
2002
ACM
14 years 4 months ago
Packrat parsing: : simple, powerful, lazy, linear time, functional pearl
Packrat parsing is a novel technique for implementing parsers in a lazy functional programming language. A packrat parser provides the power and flexibility of top-down parsing wi...
Bryan Ford