A Refactoring Constraint Language and Its Application to Eiffel
Abstract elided by the publisher.
Related papers
- Constraint-Based Refactoring TOPLAS 2018
- Refactoring Using Type Constraints SAS 2007
- Constraint-Based Refactoring with Foresight ECOOP 2012
- Refactoring using type constraints TOPLAS 2011
- Refactoring for generalization using type constraints OOPSLA 2003
- Refactoring support for class library migration OOPSLA 2005
- RT-trust: automated refactoring for trusted execution under real-time constraints GPCE 2018
- A Proposal for Making Eiffel Type-Safe ECOOP 1989