Cited By
View all- Barwell ABrown CSarkar S(2024)Towards Specification-Guarded RefactoringLogic-Based Program Synthesis and Transformation10.1007/978-3-031-71294-4_9(149-165)Online publication date: 9-Sep-2024
- Thy SCostea AGopinathan KSergey I(2023)Adventure of a Lifetime: Extract Method Refactoring for RustProceedings of the ACM on Programming Languages10.1145/36228217:OOPSLA2(658-685)Online publication date: 16-Oct-2023
- Horpácsi DKőszegi JNémeth D(2021)Towards a Generic Framework for Trustworthy Program RefactoringActa Cybernetica10.14232/actacyb.28434925:4(753-779)Online publication date: 18-Mar-2021
- Show More Cited By