Leonardo Vieira dos Santos Reis

17 papers Misc 3Journal 4Unranked 9
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Haskell Library for Adaptable Parsing Expression Grammars.
J. Comput. Lang.
Elton M. Cardoso, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro
2025 — conf
Pest control: A formal model of the Pest parser generator.
SBLP
Guilherme Daher, Elton M. Cardoso, Leonardo Vieira dos Santos Reis, Rodrigo Ribeiro
2023 — conf
A Haskell Library for Adaptable Parsing Expression Grammars.
SBLP
Elton Maximo Cardoso, Rodrigo Geraldo Ribeiro, Leonardo Vieira dos Santos Reis, Marcos Emiliano
2023 — conf
A Verified Operational Semantics for Regular Expression Parsing.
SBLP
Elton Maximo Cardoso, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro
2023 Misc conf
Type-based Termination Analysis for Parsing Expression Grammars.
SAC
Elton M. Cardoso, Regina Sarah Monferrari Amorim De Paula, Daniel Freitas Pereira, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro
2022 — conf
A Type-Directed Algorithm to Generate Random Well-Formed Parsing Expression Grammars.
SBLP
Elton Maximo Cardoso, Daniel Freitas Pereira, Regina Sarah Monferrari Amorim De Paula, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro
2021 J jnl
The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions.
CLEI Electron. J.
Elton M. Cardoso, Maycon Amaro, Samuel da Silva Feitosa, Leonardo Vieira dos Santos Reis, André Rauber Du Bois, Rodrigo Geraldo Ribeiro
2019 Misc conf
An attribute language definition for adaptable parsing expression grammars.
SAC
Elton M. Cardoso, Rodrigo Geraldo Ribeiro, Leonardo Vieira dos Santos Reis, Mariza A. S. Bigonha, Roberto S. Bigonha, Vladimir Oliveira Di Iorio
2019 — conf
Towards Typed Semantics for Parsing Expression Grammars.
SBLP
Rodrigo Geraldo Ribeiro, Leonardo Vieira dos Santos Reis, Samuel da Silva Feitosa, Elton M. Cardoso
2015 J jnl
An on-the-fly grammar modification mechanism for composing and defining extensible languages.
Comput. Lang. Syst. Struct.
Leonardo Vieira dos Santos Reis, Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha
2014 — conf
A Mixed Approach for Building Extensible Parsers.
SBLP
Leonardo Vieira dos Santos Reis, Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha
2014 — —
Adaptable parsing expression grammars.
Leonardo Vieira dos Santos Reis
2014 Misc conf
Defining the syntax of extensible languages.
SAC
Leonardo Vieira dos Santos Reis, Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha
2014 J jnl
The formalization and implementation of Adaptable Parsing Expression Grammars.
Sci. Comput. Program.
Leonardo Vieira dos Santos Reis, Roberto da Silva Bigonha, Vladimir Oliveira Di Iorio, Luís Eduardo de Souza Amorim
2012 — conf
Adaptable Parsing Expression Grammars.
SBLP
Leonardo Vieira dos Santos Reis, Roberto da Silva Bigonha, Vladimir Oliveira Di Iorio, Luís Eduardo de Souza Amorim
2011 — conf
Weave time macros.
DSAL@AOSD
Vladimir Oliveira Di Iorio, Leonardo Vieira dos Santos Reis, Roberto S. Bigonha, Marco Túlio Valente
2009 — conf
A proposal for extensible AspectJ.
DSAL@AOSD
Vladimir Oliveira Di Iorio, Leonardo Vieira dos Santos Reis, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha