The following pages link to Sound refactorings (Q2266944):
Displaying 8 items.
- Refactoring and representation independence for class hierarchies (Q428866) (← links)
- Mechanised support for sound refinement tactics (Q432151) (← links)
- Algebraic reasoning for object-oriented programming (Q1887669) (← links)
- Refactoring by transformation (Q2844832) (← links)
- Refactoring towards a layered architecture (Q2848452) (← links)
- A static semantics for Alloy and its impact in refactorings (Q2870336) (← links)
- Laws of Programming for References (Q2937790) (← links)
- Graph Transformations (Q5292611) (← links)