Use este identificador para citar ou linkar para este item:
https://ri.ufs.br/jspui/handle/riufs/20519| Tipo de Documento: | Artigo |
| Título: | Using CafeOBJ to mechanise refactoring proofs and application |
| Autor(es): | Carvalho Júnior, Antonio Silva, Leila Cornélio, Márcio |
| Data do documento: | 2007 |
| Resumo: | In 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. |
| Palavras-chave: | Rewriting systems Refactorings CafeOBJ |
| ISSN: | 1571-0661 |
| Parte de : | Electronic Notes in Theoretical Computer Science |
| Idioma: | eng |
| Instituição/Editora: | Elsevier B.V. |
| Citação: | CARVALHO 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. |
| Licença: | Creative Commons Atribuição-Não Comercial-Sem Derivações 3.0 Não Adaptada (CC BY-NC-ND 3.0) |
| URI: | https://ri.ufs.br/jspui/handle/riufs/20519 |
| Aparece nas coleções: | DCOMP - Artigos de periódicos |
Arquivos associados a este item:
| Arquivo | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| CafeOBJMechaniseRefactoringProofs.pdf | 535,21 kB | Adobe PDF |  Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.