1. Repositório Institucional da Universidade Federal de Sergipe - RI/UFS
  2. PRODUÇÃO CIENTÍFICA
  3. DCOMP - Departamento de Computação
  4. DCOMP - Artigos de periódicos
Por favor, use este identificador para citar o enlazar este ítem: https://ri.ufs.br/jspui/handle/riufs/20519
Registro completo de metadatos
Campo DC Valor Lengua/Idioma
dc.contributor.authorCarvalho Júnior, Antonio-
dc.contributor.authorSilva, Leila-
dc.contributor.authorCornélio, Márcio-
dc.date.accessioned2024-11-27T20:56:25Z-
dc.date.available2024-11-27T20:56:25Z-
dc.date.issued2007-
dc.identifier.citationCARVALHO JÚNIOR, A.; SILVA, L.; CORNÉLIO, M. Using CafeOBJ to mechanise refactoring proofs and application. Electronic Notes in Theoretical Computer Science, Amsterdam, v. 184, p. 39-61, jul. 2007. Número especial. Disponível em: https://www.sciencedirect.com/science/article/pii/S1571066107004343. Acesso em: 27 nov. 2024.pt_BR
dc.identifier.issn1571-0661-
dc.identifier.urihttps://ri.ufs.br/jspui/handle/riufs/20519-
dc.languageengpt_BR
dc.publisherElsevier B.V.pt_BR
dc.relation.ispartofElectronic Notes in Theoretical Computer Sciencept_BR
dc.subjectRewriting systemseng
dc.subjectRefactoringseng
dc.subjectCafeOBJeng
dc.titleUsing CafeOBJ to mechanise refactoring proofs and applicationpt_BR
dc.typeArtigopt_BR
dc.identifier.licenseCreative Commons Atribuição-Não Comercial-Sem Derivações 3.0 Não Adaptada (CC BY-NC-ND 3.0)pt_BR
dc.description.resumoIn this paper we show how rewriting systems, in particular CafeOBJ, can be used to automatically prove refactoring rules. In addition, a small case study that illustrates the application of a refactoring rule in an arbitrary program is also developed. Our approach is based on a sequential object-oriented language of refinement (rool) similar to Java. We have implemented the rool grammar in CafeOBJ, as well as the laws that define its semantics. Each refactoring rule is derived by the application of these laws, in a constructive way. The refactorings are also implemented in CafeOBJ, allowing the reduction of an arbitrary program.pt_BR
dc.description.localAmsterdampt_BR
Aparece en las colecciones: DCOMP - Artigos de periódicos

Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
CafeOBJMechaniseRefactoringProofs.pdf535,21 kBAdobe PDFVista previa
Visualizar/Abrir
Mostrar el registro sencillo del ítem


Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.