Using CafeOBJ to Mechanise Refactoring Proofs and Application

DOI10.1016/j.entcs.2007.03.014zbMath1279.68113OpenAlexW2064351041MaRDI QIDQ2870325

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

Publication date: 17 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.03.014

zbMATH Keywords

refactoringsrewriting systemsCafeOBJ

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Refactoring and representation independence for class hierarchies ⋮ Refactoring tools for functional languages ⋮ Sound refactorings

Uses Software

• Eiffel
• OBJ3
• Maude

Cites Work

• An inconsistency in procedures, parameters, and substitution in the refinement calculus
• Evolving object-oriented designs with refactorings
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Using CafeOBJ to Mechanise Refactoring Proofs and Application