Leonardo Vieira dos Santos Reis

According to our database, Leonardo Vieira dos Santos Reis authored at least 15 papers between 2009 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

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

2015

An on-the-fly grammar modification mechanism for composing and defining extensible languages.

Leonardo Vieira dos Santos Reis, Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha

Comput. Lang. Syst. Struct., 2015

2014

Adaptable parsing expression grammars.

Leonardo Vieira dos Santos Reis

PhD thesis, 2014

The formalization and implementation of Adaptable Parsing Expression Grammars.

Leonardo Vieira dos Santos Reis, Roberto da Silva Bigonha, Vladimir Oliveira Di Iorio, Luís Eduardo de Souza Amorim

Sci. Comput. Program., 2014

A Mixed Approach for Building Extensible Parsers.

Leonardo Vieira dos Santos Reis, Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha

Proceedings of the Programming Languages - 18th Brazilian Symposium, 2014

Defining the syntax of extensible languages.

Leonardo Vieira dos Santos Reis, Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha

Proceedings of the Symposium on Applied Computing, 2014

2012

Adaptable Parsing Expression Grammars.

Leonardo Vieira dos Santos Reis, Roberto da Silva Bigonha, Vladimir Oliveira Di Iorio, Luís Eduardo de Souza Amorim

Proceedings of the Programming Languages - 16th Brazilian Symposium, 2012

2011

Weave time macros.

Vladimir Oliveira Di Iorio, Leonardo Vieira dos Santos Reis, Roberto S. Bigonha, Marco Túlio Valente

Proceedings of the sixth annual workshop on Domain-specific aspect languages, 2011

2009

A proposal for extensible AspectJ.

Vladimir Oliveira Di Iorio, Leonardo Vieira dos Santos Reis, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha

Proceedings of the 4th workshop on Domain-specific aspect languages, 2009