Using CafeOBJ to mechanise refactoring proofs and application

Carvalho Júnior, Antonio; Silva, Leila; Cornélio, Márcio

Por favor, use este identificador para citar o enlazar este ítem: https://ri.ufs.br/jspui/handle/riufs/20519

Tipo de Documento:	Artigo
Título :	Using CafeOBJ to mechanise refactoring proofs and application
Autor :	Carvalho Júnior, Antonio Silva, Leila Cornélio, Márcio
Fecha de publicación :	2007
Resumen:	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.
Palabras clave :	Rewriting systems Refactorings CafeOBJ
ISSN :	1571-0661
Es parte de:	Electronic Notes in Theoretical Computer Science
Idioma :	eng
Institución / Editorial :	Elsevier B.V.
Citación :	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.
License:	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 en las colecciones:	DCOMP - Artigos de periódicos

Ficheros en este ítem:

Fichero	Descripción	Tamaño	Formato
CafeOBJMechaniseRefactoringProofs.pdf		535,21 kB	Adobe PDF	Visualizar/Abrir

Mostrar el registro Dublin Core completo del ítem