Static composition of refactorings

DOI10.1016/J.SCICO.2004.03.002MaRDI QIDQ1887667zbMATH OpenOpenAlexFDO

Authors Günter Kniesel, Helge Koch

Publication date 22 November 2004

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2004.03.002

zbMATH Keywords

CompositionAND-sequenceConditional program transformationDerivation of preconditionOR-sequenceRefactoringTransformation description

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• A static semantics for Alloy and its impact in refactorings
• scientific article; zbMATH DE number 2087598
• Refactoring by transformation
• Refactoring equiaffinities
• Refactoring and representation independence for class hierarchies

Cited in

(4)

• Refactoring tools for functional languages
• Graph Transformations
• Refactoring boundary
• Sound refactorings

This page was built for publication: Static composition of refactorings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1887667)