Raul Lopes, Rodrigo Ribeiro, Carlos Camarão. Certified Derivative-Based Parsing of Regular Expressions. In Fernando Castor, Yu David Liu, editors, Programming Languages - 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings. Volume 9889 of Lecture Notes in Computer Science, pages 95-109, Springer, 2016. [doi]
Abstract is missing.