Static composition of refactorings (Q1887667)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Static composition of refactorings |
scientific article |
Statements
Static composition of refactorings (English)
0 references
22 November 2004
0 references
Refactoring
0 references
Conditional program transformation
0 references
OR-sequence
0 references
AND-sequence
0 references
Composition
0 references
Derivation of precondition
0 references
Transformation description
0 references