Elton Maximo Cardoso

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Natural Language Processing

Top Venues

Publications

Elton Maximo Cardoso, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro
A Verified Operational Semantics for Regular Expression Parsing. SBLP (2023)
Elton Maximo Cardoso, Rodrigo Geraldo Ribeiro, Leonardo Vieira dos Santos Reis, Marcos Emiliano
A Haskell Library for Adaptable Parsing Expression Grammars. SBLP (2023)
Elton Maximo Cardoso, Daniel Freitas Pereira, Regina Sarah Monferrari Amorim De Paula, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro
A Type-Directed Algorithm to Generate Random Well-Formed Parsing Expression Grammars. SBLP (2022)