7 citations · 8 across the 3 of their papers we have counts for
1 paper · 1 filter
Romain Edelmann, Jad Hamza, Viktor Kunčak
In this paper, we present an efficient, functional, and formally verified parsing algorithm for LL(1) context-free expressions based on the concept of derivatives of formal languag…