Static composition of refactorings

DOI10.1016/j.scico.2004.03.002zbMath1091.68031OpenAlexW2045765932MaRDI QIDQ1887667

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)

Related Items (1)

Sound refactorings

This page was built for publication: Static composition of refactorings