Static composition of refactorings
From MaRDI portal
Publication:1887667
DOI10.1016/j.scico.2004.03.002zbMath1091.68031MaRDI QIDQ1887667
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
Composition; AND-sequence; Conditional program transformation; Derivation of precondition; OR-sequence; Refactoring; Transformation description
68N99: Theory of software
Related Items