Guilherme Daher, Elton M. Cardoso, Leonardo Vieira dos Santos Reis, Rodrigo Ribeiro 0001. Pest control: A formal model of the Pest parser generator. In Hugo Musso Gualandi, André Murbach Maidl, Carla Silva 0001, Jéssyka Vilela, Mariana Maia Peixoto, editors, Proceedings of the 29th Brazilian Symposium on Programming Languages, SBLP 2025, Recife, Brazil, September 22-26, 2025. pages 1-9, SBC, 2025. [doi]
Abstract is missing.