The following pages link to Refactoring by transformation (Q2844832):
Displaying 14 items.
- Refactoring and representation independence for class hierarchies (Q428866) (← links)
- Remodularizing Java programs for improved locality of feature implementations in source code (Q436348) (← links)
- LP-structures analysis: substantiation of refactoring in object-oriented programming (Q462041) (← links)
- An algebraic approach to the design of compilers for object-oriented languages (Q607399) (← links)
- Static composition of refactorings (Q1887667) (← links)
- Algebraic reasoning for object-oriented programming (Q1887669) (← links)
- Sound refactorings (Q2266944) (← links)
- Refactoring towards a layered architecture (Q2848452) (← links)
- A static semantics for Alloy and its impact in refactorings (Q2870336) (← links)
- (Q4708513) (← links)
- (Q4825544) (← links)
- Towards Formal Proof Script Refactoring (Q5200123) (← links)
- Graph Transformations (Q5292611) (← links)
- Refactoring Object-Oriented Specifications with Data and Processes (Q5428914) (← links)