Gabriela Moreira

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 3

Top Topics

Anti Unification

Development Process

Top Venues

Publications

Paolo Dini, Manuel Bravo, Philipp Paulweber, Alexander Raschke, Gabriela Moreira
. CoRR (2023)
Gabriela Moreira, Cristiano D. Vasconcellos, Janine Kniess
Fully-Tested code generation from TLA+ specifications. SAST (2022)
Gabriela Moreira, Cristiano D. Vasconcellos, Rodrigo Geraldo Ribeiro
Type inference for GADTs, outsidein and anti-unification. SBLP (2018)