13 citations · 13 across the 1 of their papers we have counts for
1 paper · 1 filter
Adam Koprowski, Henri Binsztok
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…