Xiaodong Jia

A Derivative-based Parser Generator for Visibly Pushdown Grammars

2021 · arXiv (Cornell University)

In this paper, we present a derivative-based, functional recognizer and parser generator for visibly pushdown grammars. The generated parser accepts ambiguous grammars and produces a parse forest containing all valid parse trees for an input …