Følg
Antônio Carvalho Jr.
Antônio Carvalho Jr.
Tribunal de Contas da União
Verifisert e-postadresse på tcu.gov.br
Tittel
Sitert av
Sitert av
År
C-3PR: A bot for fixing static analysis violations via pull requests
A Carvalho, W Luz, D Marcilio, R Bonifácio, G Pinto, ED Canedo
2020 IEEE 27th International conference on software analysis, evolution and …, 2020
272020
Reconciling the past and the present: An empirical study on the application of source code transformations to automatically rejuvenate java programs
R Dantas, A Carvalho, D Marcilio, L Fantin, U Silva, W Lucas, R Bonifácio
2018 IEEE 25th international conference on software analysis, evolution and …, 2018
182018
Using CafeOBJ to mechanise refactoring proofs and application
AC Júnior, L Silva, M Cornélio
Electronic Notes in Theoretical Computer Science 184, 39-61, 2007
162007
Formalização de Refatorações Usando o Sistema de Reescrita CafeOBJ
AC Júnior, L Silva
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–4