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…