Elton M. Cardoso

According to our database, Elton M. Cardoso authored at least 8 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

A Haskell Library for Adaptable Parsing Expression Grammars.

Elton Maximo Cardoso, Rodrigo Geraldo Ribeiro, Leonardo Vieira dos Santos Reis, Marcos Emiliano

Proceedings of the XXVII Brazilian Symposium on Programming Languages, 2023

A Verified Operational Semantics for Regular Expression Parsing.

Elton Maximo Cardoso, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro

Proceedings of the XXVII Brazilian Symposium on Programming Languages, 2023

Type-based Termination Analysis for Parsing Expression Grammars.

Elton M. Cardoso, Regina Sarah Monferrari Amorim De Paula, Daniel Freitas Pereira, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

2022

A Type-Directed Algorithm to Generate Random Well-Formed Parsing Expression Grammars.

Elton Maximo Cardoso, Daniel Freitas Pereira, Regina Sarah Monferrari Amorim De Paula, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro

Proceedings of the SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6, 2022

2021

The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions.

Elton M. Cardoso, Maycon Amaro, Samuel da Silva Feitosa, Leonardo Vieira dos Santos Reis, André Rauber Du Bois, Rodrigo Geraldo Ribeiro

CLEI Electron. J., 2021

2020

Syntax vs Semantics: Comparing Consistency Proofs for Minimal Propositional Logics.

Felipe Sasdelli, Maycon Amaro, Elton M. Cardoso, Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro

Proceedings of the SBLP '20: 24th Brazilian Symposium on Programming Languages, 2020

2019

Towards Typed Semantics for Parsing Expression Grammars.

Rodrigo Geraldo Ribeiro, Leonardo Vieira dos Santos Reis, Samuel da Silva Feitosa, Elton M. Cardoso

Proceedings of the XXIII Brazilian Symposium on Programming Languages, 2019

An attribute language definition for adaptable parsing expression grammars.

Elton M. Cardoso, Rodrigo Geraldo Ribeiro, Leonardo Vieira dos Santos Reis, Mariza A. S. Bigonha, Roberto S. Bigonha, Vladimir Oliveira Di Iorio

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019