Correct Refactoring of Concurrent Java Code
Abstract elided by the publisher.
Related papers
- Refactoring android Java code for on-demand computation offloading OOPSLA 2012
- Deep typechecking and refactoring OOPSLA 2008
- Towards concurrency refactoring for x10 PPoPP 2009
- Refactoring Java generics by inferring wildcards, in practice OOPSLA 2014
- Annotation refactoring: inferring upgrade transformations for legacy applications OOPSLA 2008
- Semantic Code Refactoring for Abstract Data Types POPL 2024
- Language Support for Refactorability Decay Prevention GPCE 2022
- Tool-supported refactoring for JavaScript OOPSLA 2011