Semantic Hierarchy Refactoring by Abstract Interpretation
Abstract elided by the publisher.
Related papers
- Types as Abstract Interpretations POPL 1997
- Automatic Inheritance Hierarchy Restructuring and Method Refactoring OOPSLA 1996
- Refactoring class hierarchies with KABA OOPSLA 2004
- An abstract interpretation framework for refactoring with application to extract methods with contracts OOPSLA 2012
- Verification of high-level transformations with inductive refinement types GPCE 2018
- Semantic Code Refactoring for Abstract Data Types POPL 2024
- Refactoring using type constraints TOPLAS 2011
- A Dynamic Interpretation of the CPS Hierarchy APLAS 2012