Elton M. Cardoso, Maycon Amaro, Samuel da Silva Feitosa, Leonardo Vieira dos Santos Reis, André Rauber Du Bois, Rodrigo Geraldo Ribeiro. The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions. CLEI Electron. J., 24(3), 2021. [doi]
Abstract is missing.