Certified Derivative-Based Parsing of Regular Expressions

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]

Authors

Raul Lopes

This author has not been identified. Look up 'Raul Lopes' in Google

Rodrigo Ribeiro

This author has not been identified. Look up 'Rodrigo Ribeiro' in Google

Carlos Camarão

This author has not been identified. Look up 'Carlos Camarão' in Google