Leonardo Vieira dos Santos Reis

ORCID

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 7

Top Venues

SBLP

SAC

Comput. Lang. Syst. Struct.

Sci. Comput. Program.

Federal University of Minas Gerais, Brazil (PHD)

Education History

Federal University of Minas Gerais, Brazil

PHD

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 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)
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)
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)
Leonardo Vieira dos Santos Reis, Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha
An on-the-fly grammar modification mechanism for composing and defining extensible languages. Comput. Lang. Syst. Struct. 42 (2015)
Leonardo Vieira dos Santos Reis, Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha
Defining the syntax of extensible languages. SAC (2014)
Leonardo Vieira dos Santos Reis, Roberto da Silva Bigonha, Vladimir Oliveira Di Iorio, Luís Eduardo de Souza Amorim
The formalization and implementation of Adaptable Parsing Expression Grammars. Sci. Comput. Program. 96 (2014)
Leonardo Vieira dos Santos Reis, Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha
A Mixed Approach for Building Extensible Parsers. SBLP (2014)
Leonardo Vieira dos Santos Reis, Roberto da Silva Bigonha, Vladimir Oliveira Di Iorio, Luís Eduardo de Souza Amorim
Adaptable Parsing Expression Grammars. SBLP (2012)
Vladimir Oliveira Di Iorio, Leonardo Vieira dos Santos Reis, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha
A proposal for extensible AspectJ. DSAL@AOSD (2009)

Leonardo Vieira dos Santos Reis.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Leonardo Vieira dos Santos Reis