I agree that this site is using cookies. You can find further informations here.
X
Ribeiro, Rodrigo Geraldo
1245  results:
Search for persons X
?
1

A Verified Operational Semantics for Regular Expression Par..:

, In: Proceedings of the XXVII Brazilian Symposium on Programming Languages,
Cardoso, Elton Máximo ; Reis, Leonardo Vieira dos Santos ; Ribeiro, Rodrigo Geraldo - p. 82-90 , 2023
Link: https://dl.acm.org/doi/1..
 
?
2

Type-based Termination Analysis for Parsing Expression Gram..:

, In: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing,
M. Cardoso, Elton ; De Paula, Regina ; Pereira, Daniel.. - p. 1372-1379 , 2023
Link: https://dl.acm.org/doi/1..
 
?
3

A Haskell Library for Adaptable Parsing Expression Grammars:

, In: Proceedings of the XXVII Brazilian Symposium on Programming Languages,
Cardoso, Elton Máximo ; Ribeiro, Rodrigo Geraldo ; Reis, Leonardo Vieira dos Santos. - p. 73-81 , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

Open transactional actions: interacting with non-transactio..:

, In: Proceedings of the 15th ACM SIGPLAN International Haskell Symposium,
Conceição, Jonathas Augusto de Oliveira ; Du Bois, André Rauber ; Feitosa, Samuel da Silva.. - p. 54-65 , 2022
Link: https://dl.acm.org/doi/1..
 
?
5

A Type-Directed Algorithm to Generate Random Well-Formed Pa..:

, In: Proceedings of the XXVI Brazilian Symposium on Programming Languages,
Cardoso, Elton Maximo ; Pereira, Daniel Freitas ; De Paula, Regina Sarah Monferrari Amorim.. - p. 8-14 , 2022
Link: https://dl.acm.org/doi/1..
 
?
6

Synthesis of Random Real-World Java Programs from Preexisti..:

, In: 25th Brazilian Symposium on Programming Languages,
Kraus, Luiz Felipe ; Schafaschek, Bruno ; Ribeiro, Rodrigo Geraldo. - p. 108-115 , 2021
Link: https://dl.acm.org/doi/1..
 
?
7

Towards an Extrinsic Formalization of Featherweight Java in..:

Feitosa, Samuel ; Ribeiro, Rodrigo Geraldo ; Du Bois, Andre Rauber
CLEI Electronic Journal.  24 (2021)  3 - p. , 2021
Link: https://doi.org/10.19153..
 
?
8

Generating Random Well-Typed Featherweight Java Programs Us..:

da Silva Feitosa, Samuel ; Ribeiro, Rodrigo Geraldo ; Rauber Du Bois, Andre
Electronic Notes in Theoretical Computer Science.  342 (2019)  - p. 3-20 , 2019
Link: https://doi.org/10.1016/..
 
?
9

An Inherently-Typed Formalization for Featherweight Java:

, In: Proceedings of the XXIII Brazilian Symposium on Programming Languages,
Feitosa, Samuel da Silva ; Mena, Alejandro Serrano ; Ribeiro, Rodrigo Geraldo. - p. 11-18 , 2019
Link: https://dl.acm.org/doi/1..
 
?
10

A Type-Directed Algorithm to Generate Well-Typed Featherwei..:

, In: Lecture Notes in Computer Science; Formal Methods: Foundations and Applications,
Feitosa, Samuel S. ; Ribeiro, Rodrigo Geraldo ; Rauber Du Bois, Andre - p. 39-55 , 2018
Link: https://doi.org/10.1007/..
 
?
11

Transactional Boosting on Glasgow Haskell Compiler:

, In: 2018 Symposium on High Performance Computing Systems (WSCAD),
de Oliveira Conceicao, Jonathas Augusto ; Rauber Du Bois, Andre ; Ribeiro, Rodrigo Geraldo - p. 191-197 , 2018
Link: https://doi.org/10.1109/..
 
?
12

Formal Semantics for Java-like Languages and Research Oppor..:

Feitosa, Samuel Da Silva ; Ribeiro, Rodrigo Geraldo ; Du Bois, Andre Rauber
Revista de Informática Teórica e Aplicada.  25 (2018)  3 - p. 62 , 2018
Link: https://doi.org/10.22456..
 
?
13

Property-based testing for lambda expressions semantics in ..:

, In: Proceedings of the XXII Brazilian Symposium on Programming Languages,
da Silva Feitosa, Samuel ; Ribeiro, Rodrigo Geraldo ; Du Bois, Andre Rauber - p. 43-50 , 2018
Link: https://dl.acm.org/doi/1..
 
?
14

HMusic: A domain specific language for music programming an..:

Bois, Andre Rauber Du ; Ribeiro, Rodrigo Geraldo
doi:10.5281/zenodo.3673002.  , 2019
Link: https://zenodo.org/recor..
 
?
15

Generating random well-typed Featherweight Java Programs us..:

Feitosa, Samuel da Silva ; Ribeiro, Rodrigo Geraldo ; Bois, Andr? Rauber Du
FEITOSA, S. S.; RIBEIRO, R. G.; BOIS, A. R. D.Generating random well-typed Featherweight Java Programs using quickcheck. Electronic Notes in Theoretical Computer Science, v. 342, p. 3-20, abr. 2019. Dispon?vel em: . Acesso em: 18 jun. 2020..  , 2019
Link: http://www.repositorio.u..
 
1-15