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]
@inproceedings{LopesRC16,
title = {Certified Derivative-Based Parsing of Regular Expressions},
author = {Raul Lopes and Rodrigo Ribeiro and Carlos Camarão},
year = {2016},
doi = {10.1007/978-3-319-45279-1_7},
url = {http://dx.doi.org/10.1007/978-3-319-45279-1_7},
researchr = {https://researchr.org/publication/LopesRC16},
cites = {0},
citedby = {0},
pages = {95-109},
booktitle = {Programming Languages - 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings},
editor = {Fernando Castor and Yu David Liu},
volume = {9889},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-45278-4},
}