Cristiano D. Vasconcellos

Publication Activity (10 Years)

Years Active: 2003-2022
Publications (10 Years): 7

Top Topics

Anti Unification

Datalog Queries

Inference Process

Top Venues

IEEE Trans. Ind. Informatics

Publications

Gabriela Moreira, Cristiano D. Vasconcellos, Janine Kniess
Fully-Tested code generation from TLA+ specifications. SAST (2022)
Rafael Castro G. Silva, Cristiano D. Vasconcellos, Karina Girardi Roggia
Monadic W in Coq. SBLP (2020)
Leonardo Filipe Rigon, Paulo Torrens, Cristiano D. Vasconcellos
Inferring types and effects via static single assignment. SAC (2020)
Gabriela Moreira, Cristiano D. Vasconcellos, Rodrigo Geraldo Ribeiro
Type inference for GADTs, outsidein and anti-unification. SBLP (2018)
Paulo Torrens, Cristiano D. Vasconcellos, Junia Gonçalves
A hybrid intermediate language between SSA and CPS. SBLP (2017)
Leandro Israel Pinto, Cristiano D. Vasconcellos, Roberto Silvio Ubertino Rosso, Gabriel Hermann Negri
ICARU-FB: An IEC 61499 Compliant Multiplatform Software Infrastructure. IEEE Trans. Ind. Informatics 12 (3) (2016)
Rodrigo Geraldo Ribeiro, Carlos Camarão, Lucília Figueiredo, Cristiano D. Vasconcellos
Optional Type Classes for Haskell. SBLP (2016)
Adelaine Gelain, Cristiano D. Vasconcellos, Carlos Camarão, Rodrigo Geraldo Ribeiro
Type Inference for GADTs and Anti-unification. SBLP (2015)
Marcela Leite, Cristiano D. Vasconcellos, Marco Aurélio Wehrmeister
Enhancing automatic generation of VHDL descriptions from UML/MARTE models. INDIN (2014)
Carlos Camarão, Cristiano D. Vasconcellos, Lucília Figueiredo, João Nicola
Open and Closed Worlds for Overloading: a Definition and Support for Coexistence. J. Univers. Comput. Sci. 13 (6) (2007)
Carlos Camarão, Lucília Figueiredo, Cristiano D. Vasconcellos
Constraint-set satisfiability for overloading. PPDP (2004)
Cristiano D. Vasconcellos, Lucília Figueiredo, Carlos Camarão
Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell. J. Univers. Comput. Sci. 9 (8) (2003)