Elton M. Cardoso

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 5

Top Topics

Context Free Grammars

Visual Languages

Propositional Logic

Top Venues

CLEI Electron. J.

Publications

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. SAC (2023)
Elton M. Cardoso, Maycon Amaro, Samuel da Silva Feitosa, Leonardo Vieira dos Santos Reis, André Rauber Du Bois, Rodrigo Geraldo Ribeiro
The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions. CLEI Electron. J. 24 (3) (2021)
Felipe Sasdelli, Maycon Amaro, Elton M. Cardoso, Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro
Syntax vs Semantics: Comparing Consistency Proofs for Minimal Propositional Logics. SBLP (2020)
Rodrigo Geraldo Ribeiro, Leonardo Vieira dos Santos Reis, Samuel da Silva Feitosa, Elton M. Cardoso
Towards Typed Semantics for Parsing Expression Grammars. SBLP (2019)
Elton M. Cardoso, Rodrigo Geraldo Ribeiro, Leonardo Vieira dos Santos Reis, Mariza A. S. Bigonha, Roberto S. Bigonha, Vladimir Oliveira Di Iorio
An attribute language definition for adaptable parsing expression grammars. SAC (2019)