553 search results - page 4 / 111 » Verified, Executable Parsing |
113
click to vote
IWPT
2001
14 years 11 months ago
2001
We define a new model of automata for the description of bidirectional parsing strategies for tree adjoining grammars and a tabulation mechanism that allow them to be executed in ...
63
Voted
CC
2001
Springer
15 years 2 months ago
2001
Springer
GPCE
2007
Springer
15 years 1 months ago
2007
Springer
This paper introduces new parsing and context-aware scanning algorithms in which the scanner uses contextual information to disambiguate lexical syntax. The parser uses a slightly...
ENTCS
2008
14 years 9 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
78
Voted
DLS
2008
14 years 11 months ago
2008
Parsing Expression Grammar (PEG) is a recognition-based foundation for describing syntax that renewed interest in top-down parsing approaches. Generally, the implementation of PEG...