Gabriela Moreira

According to our database, Gabriela Moreira authored at least 3 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Tutorial on the Executable ASM Specification of the AB Protocol and Comparison with TLA⁺.

Paolo Dini, Manuel Bravo, Philipp Paulweber, Alexander Raschke, Gabriela Moreira

CoRR, 2023

2022

Fully-Tested code generation from TLA+ specifications.

Gabriela Moreira, Cristiano D. Vasconcellos, Janine Kniess

Proceedings of the SAST 2022: 7th Brazilian Symposium on Systematic and Automated Software Testing, Uberlandia, Brazil, October 3, 2022

2018

Type inference for GADTs, outsidein and anti-unification.

Gabriela Moreira, Cristiano D. Vasconcellos, Rodrigo Geraldo Ribeiro

Proceedings of the XXII Brazilian Symposium on Programming Languages, 2018