Elton M. Cardoso, Regina Sarah Monferrari Amorim De Paula, Daniel Freitas Pereira, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro. Type-based Termination Analysis for Parsing Expression Grammars. In Jiman Hong, Maart Lanperne, Juw Won Park, Tomás Cerný, Hossain Shahriar, editors, Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023. pages 1372-1379, ACM, 2023. [doi]
@inproceedings{CardosoPPRR23,
title = {Type-based Termination Analysis for Parsing Expression Grammars},
author = {Elton M. Cardoso and Regina Sarah Monferrari Amorim De Paula and Daniel Freitas Pereira and Leonardo Vieira dos Santos Reis and Rodrigo Geraldo Ribeiro},
year = {2023},
doi = {10.1145/3555776.3577620},
url = {https://doi.org/10.1145/3555776.3577620},
researchr = {https://researchr.org/publication/CardosoPPRR23},
cites = {0},
citedby = {0},
pages = {1372-1379},
booktitle = {Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023},
editor = {Jiman Hong and Maart Lanperne and Juw Won Park and Tomás Cerný and Hossain Shahriar},
publisher = {ACM},
isbn = {978-1-4503-9517-5},
}