Stepping Stones over the Refactoring Rubicon
No abstract available.
Related papers
- Identifying refactoring opportunities for replacing type code with subclass and state OOPSLA 2018
- Extending a Brainiac Prover to Lambda-Free Higher-Order Logic TACAS 2019
- On teaching *how to design programs*: observations from a newcomer ICFP 2014
- Verifying equivalence of database-driven applications POPL 2018
- Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network OOPSLA 2023
- Repairing serializability bugs in distributed database programs via automated schema refactoring PLDI 2021
- Refactoring support for class library migration OOPSLA 2005
- The Key monad: type-safe unconstrained dynamic typing Haskell 2016